Mathematical logic books

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof...  Read More >>

 Read More >>

In diesem Buch findet der Leser effiziente Methoden zur Optimierung Neuronaler Netze. Insbesondere durch die ausfA1/4hrliche...  Read More >>

This book contains lectures presented at the MIT symposium on the 100th anniversary of Norbert Wiener's birth held...  Read More >>

The present book contains lectures on recent results in algebraic model theory, covering topics from the following...  Read More >>

This is a survey of research on developments in cellular automata (CA) theory. The book presents a variety of applications...  Read More >>

Intermediate Logic offers a guide for students taking a second course in logic after completing a basic introduction....  Read More >>

This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing...  Read More >>

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

This book constitutes the refereed proceedings of the 4th International Symposium on Logical Foundations of Computer...  Read More >>

Presents the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical...  Read More >>

This text covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model...  Read More >>

 Read More >>

Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the...  Read More >>

A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic... ideal for advanced...  Read More >>

George Boole (1815-1864) is well known to mathematicians for his research and textbooks on the calculus, but his...  Read More >>

This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and...  Read More >>

This book constitutes the refereed proceedings of the Third Italian Conference on Algorithms and Complexity, CIAC'97,...  Read More >>

Logic and Reality is a collection of essays by philosophers, logicians, mathematicians, and computer scientists,...  Read More >>

""Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface...  Read More >>

Hao Wang, (1921-1995), was a confidant of the mathematician and logician Kurt Godel. In this text he presents a...  Read More >>

 Read More >>

This book describes the latest Russian research covering the structure and algorithmic properties of Boolean algebras...  Read More >>