Mathematical logic Books

Sidebar Sidebar Sidebar
  • The Rohonc Code
    Add to Cart The item has been added

    The Rohonc Code

    First discovered in a Hungarian library in 1838, the Rohonc Codex keeps privileged company with some of the most famous unsolved writing systems in the world, notably the Voynich manuscript, the...
    $54.99

    Add to Cart The item has been added
  • Algebras, Lattices, Varieties
    Add to Cart The item has been added

    Algebras, Lattices, Varieties

    This book is the third of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules,...
    $289.00

    Add to Cart The item has been added
  • Algebras, Lattices, Varieties
    Add to Cart The item has been added

    Algebras, Lattices, Varieties

    This book is the second of a three-volume set of books on the theory of algebras, a study that provides a consistent framework for understanding algebraic systems, including groups, rings, modules,...
    $289.00

    Add to Cart The item has been added
  • Goedel's Proof
    Add to Cart The item has been added

    Goedel's Proof

    In 1931 Kurt Godel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems". This revolutionary paper challenged certain basic assumptions...
    $54.99

    Add to Cart The item has been added
  • Introduction to Proof Through Number Theory
    Add to Cart The item has been added

    Introduction to Proof Through Number Theory

    Lighten up about mathematics! Have fun. If you read this book, you will have to endure bad math puns and jokes and out-of-date pop culture references. You'll learn some really cool mathematics to...
    $206.00

    Add to Cart The item has been added
  • Residuated Structures in Algebra and Logic
    Add to Cart The item has been added

    Residuated Structures in Algebra and Logic

    This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structures from classical abstract algebra...
    $298.00

    Add to Cart The item has been added
  • Extensions of the Axiom of Determinacy
    Add to Cart The item has been added

    Extensions of the Axiom of Determinacy

    This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in particular by W. Hugh Woodin. The first half of the book...
    $160.00

    Add to Cart The item has been added
  • Computability Theory
    Add to Cart The item has been added

    Computability Theory

    What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at...
    $137.00

    Add to Cart The item has been added
  • The Method of Socratic Proofs The Method of Socratic Proofs
    Add to Cart The item has been added

    The Method of Socratic Proofs

    This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the...
    $298.00

    Add to Cart The item has been added
  • Mathematics for Computer Algebra Mathematics for Computer Algebra
    Add to Cart The item has been added

    Mathematics for Computer Algebra

    This book corresponds to a mathematical course given in 1986/87 at the University Louis Pasteur, Strasbourg. This work is primarily intended for graduate students. The following are necessary...
    $116.00

    Add to Cart The item has been added
  • The Collected Works of J. Richard Büchi The Collected Works of J. Richard Büchi
    Add to Cart The item has been added

    The Collected Works of J. Richard Büchi

    J. Richard Biichi is well known for his work in mathematical logic and theoretical computer science. (He himself would have sharply objected to the qualifier "theoretical," because he more or less...
    $122.00

    Add to Cart The item has been added
  • Theory of Finite and Infinite Graphs Theory of Finite and Infinite Graphs
    Add to Cart The item has been added

    Theory of Finite and Infinite Graphs

    To most graph theorists there are two outstanding landmarks in the history of their subject. One is Euler's solution of the Konigsberg Bridges Problem, dated 1736, and the other is the appearance of...
    $122.00

    Add to Cart The item has been added
  • Mathematical Aspects of Scientific Software Mathematical Aspects of Scientific Software
    Add to Cart The item has been added

    Mathematical Aspects of Scientific Software

    Since scientific software is the fuel that drives today's computers to solve a vast range of problems, huge efforts are being put into the development of new software, systems and algorithms for...
    $122.00

    Add to Cart The item has been added
  • An Introduction to Formal Language Theory An Introduction to Formal Language Theory
    Add to Cart The item has been added

    An Introduction to Formal Language Theory

    The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main reasons for this centrality were connected with...
    $92.00

    Add to Cart The item has been added
  • Logic and Structure Logic and Structure
    Add to Cart The item has been added

    Logic and Structure

    Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's...
    $171.00

    Add to Cart The item has been added
  • Mathematics in Computing Mathematics in Computing
    Add to Cart The item has been added

    Mathematics in Computing

    This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists. Topics and features: ideal for...
    $125.00

    Add to Cart The item has been added
  • Quaternions for Computer Graphics Quaternions for Computer Graphics
    Add to Cart The item has been added

    Quaternions for Computer Graphics

    If you have ever wondered what quaternions are - then look no further, John Vince will show you how simple and useful they are. This 2nd edition has been completely revised and includes extra detail...
    $163.00

    Add to Cart The item has been added
  • Formal Languages and Compilation Formal Languages and Compilation
    Add to Cart The item has been added

    Formal Languages and Compilation

    This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation. Retaining the reader-friendly style of the 1st...
    $142.00

    Add to Cart The item has been added
  • The Art of Proof The Art of Proof
    Add to Cart The item has been added

    The Art of Proof

    The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of...
    $71.00

    Add to Cart The item has been added
  • Proofs and Fundamentals Proofs and Fundamentals
    Add to Cart The item has been added

    Proofs and Fundamentals

    "Proofs and Fundamentals: A First Course in Abstract Mathematics" 2nd edition is designed as a "transition" course to introduce undergraduates to the writing of rigorous mathematical proofs, and to...
    $118.00

    Add to Cart The item has been added
  • Lattices and Ordered Sets Lattices and Ordered Sets
    Add to Cart The item has been added

    Lattices and Ordered Sets

    This book is intended to be a thorough introduction to the subject of order and lattices, with an emphasis on the latter. It can be used for a course at the graduate or advanced undergraduate level...
    $120.00

    Add to Cart The item has been added
  • A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
    Add to Cart The item has been added

    A Concise Introduction to Mathematical Logic

    Propositional Logic.- First-Order Logic.- Complete logical Calculi.- Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.
    $140.00

    Add to Cart The item has been added
  • An Elementary Logic (1906) An Elementary Logic (1906)
    Add to Cart The item has been added

    An Elementary Logic (1906)

    An Elementary Logic, published in 1906, is a book written by John Edward Russell. The book is a comprehensive guide to the principles of logic, aimed at beginners and students of the subject. The...
    $80.00

    Add to Cart The item has been added
  • Logic for Concurrency and Synchronisation Logic for Concurrency and Synchronisation
    Add to Cart The item has been added

    Logic for Concurrency and Synchronisation

    This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major...
    $227.00

    Add to Cart The item has been added
  • Probabilistic Logic in a Coherent Setting Probabilistic Logic in a Coherent Setting
    Add to Cart The item has been added

    Probabilistic Logic in a Coherent Setting

    The approach to probability theory followed in this book (which differs radically from the usual one, based on a measure-theoretic framework) characterizes probability as a linear operator rather...
    $227.00

    Add to Cart The item has been added
  • Internal Logic Internal Logic
    Add to Cart The item has been added

    Internal Logic

    Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms...
    $220.00

    Add to Cart The item has been added
  • Sheaves, Games, and Model Completions Sheaves, Games, and Model Completions
    Add to Cart The item has been added

    Sheaves, Games, and Model Completions

    This book is an example of fruitful interaction between (non-classical) propo­ sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in...
    $184.00

    Add to Cart The item has been added
  • Introduzione Alla Logica (1869) Introduzione Alla Logica (1869)
    Add to Cart The item has been added

    Introduzione Alla Logica (1869)

    Il libro ""Introduzione alla Logica"" (1869) di Alessandro Paoli ����� un testo fondamentale per coloro che vogliono approfondire lo studio della logica. In questo libro, l'autore fornisce una...
    $87.00

    Add to Cart The item has been added
  • Die Zenonischen Beweise (1880) Die Zenonischen Beweise (1880)
    Add to Cart The item has been added

    Die Zenonischen Beweise (1880)

    Das Buch ""Die Zenonischen Beweise"" von Eugen Raab, ver������ffentlicht im Jahr 1880, besch�����ftigt sich mit den Paradoxien des antiken griechischen Philosophen Zenon von Elea. Raab beschreibt die...
    $62.00

    Add to Cart The item has been added
  • Die Grundfragen Der Logik (1858) Die Grundfragen Der Logik (1858)
    Add to Cart The item has been added

    Die Grundfragen Der Logik (1858)

    Die Grundfragen der Logik ist ein Buch von Martin Katzenberger, das im Jahr 1858 ver������ffentlicht wurde. Es handelt sich um eine Abhandlung �����ber die Grundlagen der Logik und ihre Anwendung in...
    $85.00

    Add to Cart The item has been added
  • The Primary Laws Of Thought, Applied (1891) The Primary Laws Of Thought, Applied (1891)
    Add to Cart The item has been added

    The Primary Laws Of Thought, Applied (1891)

    ""The Primary Laws of Thought, Applied"" is a book written by John James Van Nostrand and published in 1891. The book discusses the fundamental laws of logic and reasoning, including the laws of...
    $74.00

    Add to Cart The item has been added
  • Nonlinear Dimensionality Reduction Nonlinear Dimensionality Reduction
    Add to Cart The item has been added

    Nonlinear Dimensionality Reduction

    High-Dimensional Data.- Characteristics of an Analysis Method.- Estimation of the Intrinsic Dimension.- Distance Preservation.- Topology Preservation.- Method comparisons.- Conclusions.
    $227.00

    Add to Cart The item has been added
  • Logic for Computer Scientists Logic for Computer Scientists
    Add to Cart The item has been added

    Logic for Computer Scientists

    This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The classic text...
    $108.00

    Add to Cart The item has been added
  • 104 Number Theory Problems 104 Number Theory Problems
    Add to Cart The item has been added

    104 Number Theory Problems

    This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and in...
    $125.00

    Add to Cart The item has been added
  • Argument, Sex and Logic Argument, Sex and Logic
    Add to Cart The item has been added

    Argument, Sex and Logic

    This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the argumentation logic models...
    $54.00

    Add to Cart The item has been added
  • Logic for Kids Logic for Kids
    Add to Cart The item has been added

    Logic for Kids

    Getting started in logic at the earliest opportunity is the answer. While other books adopt a formal approach, using abstractions and arcane jargon, this book explains logical reasoning in simple and...
    $100.00

    Add to Cart The item has been added
Mathematical logic