Mathematical logic books

This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students...  Read More >>

This text provides a classroom-tested, practical introduction to software design and implementation, cryptographic...  Read More >>

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification...  Read More >>

 Read More >>

This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz...  Read More >>

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal...  Read More >>

This book, which is based on Pólya's method of problem solving, aids students in their transition from calculus...  Read More >>

Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo....  Read More >>

Deductive Logic St. George William Joseph Stock  Read More >>

 Read More >>

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range...  Read More >>

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held...  Read More >>

This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving,...  Read More >>

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of...  Read More >>

This book and its sister volume, Models and Computability, provide readers with a comprehensive guide to the mathematical...  Read More >>

Going beyond current books on privacy and security, Unauthorized Access: The Crisis in Online Privacy and Security...  Read More >>

"The volume ""Fuzziness in Database Management Systems"" is a highly informative, well-organized and up-to-date...  Read More >>

The field of ""intelligent interfaces and systems"" has seen a fast growth last decade. Moreover, the contributors...  Read More >>

This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012...  Read More >>

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, in...  Read More >>

 Read More >>

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume...  Read More >>

There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many...  Read More >>