Mathematical logic books

Also it is very useful for all those who are interested in data, digitization and correctness and consistency of...  Read More >>

 Read More >>

 Read More >>

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

Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability...  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 >>

This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics...  Read More >>

Revised edition of: The nuts and bolts of proofs / Antonella Cupillari. 4th ed. c2013.  Read More >>

Godel's exploration of terra incognita is recognised as one of the major contributions to modern scientific thought....  Read More >>

The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information...  Read More >>

This Sudoku book is perfect for those who are new to Sudoku or prefer a more relaxed solving experience. The book...  Read More >>

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism...  Read More >>

​This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending...  Read More >>

84104105115329811111110732112114101115101110116115321161041013210211111410997108321001011021051101051161051111103211110232102117110100971091011101169710832116114971101151021111141099711610511111011532...  Read More >>

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only...  Read More >>

A set in mathematics is just a collection of elements; an example is the set of natural numbers {1, 2, 3, ...}....  Read More >>

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only...  Read More >>

This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates...  Read More >>

Nosso cérebro pode ser treinado para nos beneficiar. Para tanto, é preciso alterarmos nosso comportamento, aprendermos...  Read More >>

This book offers a defense against non-classical approaches to the paradoxes. In fact, he believes classical solutions...  Read More >>

 Read More >>

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

Whether you are a beginner or an experienced Sudoku solver, this book has something for everyone. With over 1,200...  Read More >>

This approach allows coherent and correct definitions of logical constants, logical consequence, and truth and connects...  Read More >>

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023,...  Read More >>