Mathematical logic books

Welcome to the beginner's world of logic! Lots of short puzzles and games are designed to help develop critical-thinking...  Read More >>

Originally Titled: An Investigation Of The Laws Of Thought On Which Are Founded The Mathematical Theories Of Logic...  Read More >>

A Petri net is a mathematical representation of a network. This book first introduces the basic models including...  Read More >>

The Handbook on Ontologies provides a comprehensive overview of the current status and future prospects of the field,...  Read More >>

<p>This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher...  Read More >>

Teaches how to reason logically, read proofs critically, and write valid mathematical proofs. This book facilitates...  Read More >>

An Unabridged Printing, To Include Updated Typeface  Read More >>

<p>This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22,...  Read More >>

Constitutes the post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent...  Read More >>

Das Buch behandelt die Basis-Resultate der Mengenlehre aus der Zeit Cantors und Zermelos, was etwa den Zeitraum...  Read More >>

Constitutes the refereed proceedings of the 20th International Conference on Rewriting Techniques and Applications,...  Read More >>

This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Typed Lambda Calculi and Applications,...  Read More >>

<p>This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with...  Read More >>

<p>This book constitutes the proceedings of the 13th International Conference, DLT 2009, held in Stuttgart, Germany...  Read More >>

 Read More >>

<p>This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications...  Read More >>

Covers the first fifty years of the development of mathematical logic in the 20th century. This title focuses on...  Read More >>

 Read More >>

A monograph treating a fascinating and fast growing area of research, focussing on the theoretical computer science...  Read More >>

This Festschrift volume, published in honor of Nissim Francez on the occasion of his 65th birthday, contains 15...  Read More >>

The discipline of formal concept analysis (FCA) is concerned with the form- ization of concepts and conceptual thinking....  Read More >>

 Read More >>

Boolean functions are the building blocks of symmetric cryptographic systems. This book shows how Boolean functions...  Read More >>