Mathematical logic books

This text contains the post-proceedings of the International Workshop of the TYPES Working Group held in Durham...  Read More >>

Offers an interdisciplinary but mathematically focused exploration of Quantum Computation.  Read More >>

This text constitutes the refereed proceedings of the Third International Conference on Intelligent Text Processing...  Read More >>

 Read More >>

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it...  Read More >>

This text constitutes the refereed proceedings of the 15th International Workshop on Algebraic Development Techniques,...  Read More >>

Logic is, and should be, the core subject area of modern mathemat­ ics. There is need for a book that introduces...  Read More >>

Contains the proceedings of the Second International Conference of B and Z Users, held in France in 2002. The 24...  Read More >>

Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation...  Read More >>

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. The second volume contains...  Read More >>

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements...  Read More >>

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. The second volume contains...  Read More >>

Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements...  Read More >>

Focussing on the dynamics of reasoning processes, this book covers both the topics of 'Dynamics of Reasoning', where...  Read More >>

This series of lectures delivered by Lonergan at Boston College in 1957 deal with the general character of mathematical...  Read More >>

This series of lectures delivered by Lonergan at Boston College in 1957 deal with the general character of mathematical...  Read More >>

The multiset, a set with multiplicities associated with its elements in the form of natural numbers, has appeared...  Read More >>

Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to...  Read More >>

The 80 revised papers, together with an introduction and three keynote presentations have gone through two rounds...  Read More >>

 Read More >>

This book provides a self-contained exposition of the theory of plane Cremona maps, reviewing the classical theory....  Read More >>

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way...  Read More >>

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this...  Read More >>

Presents an introduction to the foundations of logic and mathematics. This book takes theory into account, and also...  Read More >>

 Read More >>