Mathematical logic books

Comprehensive graduate-level account of constructive theory of first-order predicate calculus covers formal methods:...  Read More >>

Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science,...  Read More >>

 Read More >>

 Read More >>

Concise classic by great mathematician and physicist deals with logic and mathematics of set and function, concept...  Read More >>

This book is part of a five volume set that makes available all of Kurt Godels writings. The first three volumes...  Read More >>

Kurt Godel was a 20th century logician. This book is part of a five volume set. The first three volumes, consist...  Read More >>

Während die NP-Vollständigkeitstheorie die gesamte Informatik beeinflußt hat, werden die neueren Ergebnisse in der...  Read More >>

 Read More >>

Advanced undergraduate or beginning graduate students need a unified foundation for their study of geometry, analysis,...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on DNA Based Computers,...  Read More >>

This volume is a translation of the book ""Godel"", written in Japanese by Gaisi Takeuti, a distinguished proof...  Read More >>

There are also articles concerned with the computability of aspects of familiar mathematical structures, and - a...  Read More >>

 Read More >>

This volume is a translation of the book Godel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist....  Read More >>

 Read More >>

Petri-Netze sind das meist beachtete und am besten untersuchte Modell fA1/4r nebenlAufige, parallele Rechnungen....  Read More >>

This work provides a much-needed reading (and re-reading) of Kant's theory of the construction of mathematical concepts...  Read More >>

The conventional wisdom was that biology influenced mathematics and computer science. But a new approach has taken...  Read More >>

A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics....  Read More >>

 Read More >>

This collection of more than 70 study strategies teaches children in grades three through six efficient and effective...  Read More >>

This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The...  Read More >>

In the first appendix: Retrospective, I briefly review developments from the point of view of this book, specifically,...  Read More >>

 Read More >>