Mathematical logic books

This Element explains why propositional quantifiers are especially interesting in the context of propositional modal...  Read More >>

John Corcoran was a very well-known logician who worked on several areas of logic. By encompassing a diverse range...  Read More >>

More precisely, it examines computability theory and computational complexity theory. (Computational) complexity...  Read More >>

 Read More >>

The goal of this unique text is to provide an “experience” that would facilitate a better transition for mathematics...  Read More >>

The goal of this unique text is to provide an “experience” that would facilitate a better transition for mathematics...  Read More >>

The material should be accessible to first year graduate students or advanced undergraduates in mathematics, graduate...  Read More >>

"This volume comprises selected contributions by the participants of the second ""Functor Categories, Model Theory,...  Read More >>

Zu seinen Lebzeiten war Kurt Gödel außerhalb der Fachwelt der Mathematiker, Philosophen und theoretischen Physiker...  Read More >>

Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses Lehrbuch bietet eine Einführung...  Read More >>

The purpose of this unique handbook is to examine the transformation of the philosophy of mathematics from its origins...  Read More >>

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures...  Read More >>

This is a concise book that introduces students to the basics of logical thinking and important mathematical structures...  Read More >>

The textbook offers a slow introduction to mathematical logic, and several basic concepts of model theory, such...  Read More >>

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops...  Read More >>

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these...  Read More >>

 Read More >>

The book has two chapters. The first chapter is a modern or contemporary account of stability theory. After a preliminary...  Read More >>

The book has two chapters. The first chapter is a modern or contemporary account of stability theory. After a preliminary...  Read More >>

 Read More >>

An elementary text on logic - presented as an entertaining way to solve problems.  Read More >>

This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider...  Read More >>

Dieses Buch behandelt die Visualisierung als Methode des mathematischen Problemlösens, Begründens und Beweisens:...  Read More >>

 Read More >>

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops...  Read More >>