Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “janusz czelakowski”
Skip side bar filters

  • The Equationally-Defined Commutator

    A Study in Equational Logic and Algebra

    by Janusz Czelakowski ...
    This monograph introduces and explores the notions of a commutator equation and the equationally-defined commutator from the perspective of abstract algebraic logic. An account of the commutator operation associated with equational deductive systems is presented, with an emphasis placed on logical aspects of the commutator for equational systems determined by quasivarieties of algebras. The author ... Read more

    $64.99 CAD

  • Freedom and Enforcement in Action

    A Study in Formal Action Theory

    by Janusz Czelakowski ...
    Series series Mathematics and Statistics (R0)
    Action theory is the object of growing attention in a variety of scientific disciplines and this is the first volume to offer a synthetic view of the range of approaches possible in the topic. The volume focuses on the nexus of formal action theory with a startlingly diverse set of subjects, which range from logic, linguistics, artificial intelligence and automata theory to jurisprudence, ... Read more

    $64.99 CAD

People who read these also enjoyed

  • An Introduction to Mathematical Cryptography

    by Jeffrey Hoffstein, Jill Pipher, Joseph H. Silverman ...
    Series series Mathematics and Statistics (R0)
    This self-contained introduction to modern cryptography emphasizes the mathematics behind the theory of public key cryptosystems and digital signature schemes. The book focuses on these key topics while developing the mathematical tools needed for the construction and security analysis of diverse cryptosystems. Only basic linear algebra is required of the reader; techniques from algebra, number ... Read more

    $89.99 CAD

  • One Hundred Prisoners and a Light Bulb

    by Hans van Ditmarsch, Barteld Kooi ...
    Series series Mathematics and Statistics (R0)
    A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no ... Read more

    $25.99 CAD

  • Galois' Theory Of Algebraic Equations (Second Edition)

    by Jean-pierre Tignol ...
    The book gives a detailed account of the development of the theory of algebraic equations, from its origins in ancient times to its completion by Galois in the nineteenth century. The appropriate parts of works by Cardano, Lagrange, Vandermonde, Gauss, Abel, and Galois are reviewed and placed in their historical perspective, with the aim of conveying to the reader a sense of the way in which the ... Read more

    $34.99 CAD

  • Set Theory

    With an Introduction to Real Point Sets

    by Abhijit Dasgupta ...
    Series series Mathematics and Statistics (R0)
    What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbook presents classical set theory in an intuitive but concrete manner.To allow flexibility of topic selection in courses, the book is organized into four relatively ... Read more

    $102.99 CAD

  • Probability Logics

    Probability-Based Formalization of Uncertain Reasoning

    by Zoran Ognjanović, Miodrag Rašković, Zoran Marković ...
    Series series Computer Science (R0)
    The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the ... Read more

    $154.99 CAD

  • Representation Theory

    A Homological Algebra Point of View

    by Alexander Zimmermann ...
    Series series Mathematics and Statistics (R0)
    Introducing the representation theory of groups and finite dimensional algebras, first studying basic non-commutative ring theory, this book covers the necessary background on elementary homological algebra and representations of groups up to block theory. It further discusses vertices, defect groups, Green and Brauer correspondences and Clifford theory. Whenever possible the statements are ... Read more

    $205.99 CAD

  • Hybrid Logic and its Proof-Theory

    by Torben Braüner ...
    Series series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... Read more

    $115.99 CAD

  • Topological Galois Theory

    Solvability and Unsolvability of Equations in Finite Terms

    by Askold Khovanskii ...
    Translated by Vladlen Timorin, Valentina Kiritchenko, Liudmyla Kadets ...
    Series series Mathematics and Statistics (R0)
    This book provides a detailed and largely self-contained description of various classical and new results on solvability and unsolvability of equations in explicit form. In particular, it offers a complete exposition of the relatively new area of topological Galois theory, initiated by the author. Applications of Galois theory to solvability of algebraic equations by radicals, basics of Picard ... Read more

    $154.99 CAD

  • Structural Analysis of Non-Classical Logics

    The Proceedings of the Second Taiwan Philosophical Logic Colloquium

    Edited by Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin ...
    Series series Springer Nature Proceedings excluding Computer Science
    This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate ... Read more

    $115.99 CAD

  • Finitely Generated Abelian Groups and Similarity of Matrices over a Field

    by Christopher Norman ...
    Series series Mathematics and Statistics (R0)
    At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part 1 of this book provides a measured introduction ... Read more

    $44.99 CAD