Mathematical logic books

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental...  Read More >>

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective...  Read More >>

WORK IS IN FRENCH This book is a reproduction of a work published before 1920 and is part of a collection of books...  Read More >>

A monograph on the interface of computational complexity and randomness of sets of natural numbers.  Read More >>

This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool...  Read More >>

H. Soubies-Camy: L´algèbre logique appliquée aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: L´algèbre...  Read More >>

An analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters...  Read More >>

Although we are entirely unaware of it, computation is central to all aspects of our existences. Every day we solve,...  Read More >>

 Read More >>

Logic and Philosophy of Mathematics in the Early Husserl focuses on the first ten years of Edmund Husserl’s work,...  Read More >>

Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning...  Read More >>

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite...  Read More >>

Contains numerous results in 1-dimensional cellular automata. This title states that only 82 local rules, out of...  Read More >>

In the (meta)theory of computing, the fundamental questions of the limitations of computing are addressed. These...  Read More >>

 Read More >>

 Read More >>

This book describes the theory, methodology and algorithmization of a new approach to problem solving and its realization...  Read More >>

These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors...  Read More >>

One of the important areas of contemporary combinatorics is Ramsey theory. The whole subject is quickly developing...  Read More >>

Durch die Vollständigkeit der Briefe und die damit verbundene Einbeziehung auch privater Passagen gewinnt man darüber...  Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on...  Read More >>

 Read More >>

Although solving Sudoku puzzles does not directly involve arithmetic, Sudoku is all about mathematics. This book...  Read More >>

Instructs students on the primary basic logic of mathematical proofs, showing how proofs of mathematical statements...  Read More >>