Mathematical logic books

This monograph studies the logical aspects of domains as used in de­ notational semantics of programming languages....  Read More >>

Hilbert and Bernays' 'Grundlagen der Mathematik' appeared in two volumes in 1934 and 1939, a second edition in 1968...  Read More >>

 Read More >>

This mathematically-based introduction to the fascinating topic of Fuzzy Sets and Fuzzy Logic presents a theoretical...  Read More >>

Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche...  Read More >>

Als mehrbändiges Nachschlagewerk ist das Springer-Handbuch der Mathematik in erster Linie für wissenschaftliche...  Read More >>

It also relates them to various modal logics studied in the philosophical logic litera­ ture, and provides a thorough...  Read More >>

Modern cryptography has evolved dramatically since the 1970s. With the rise of new network architectures and services,...  Read More >>

This volume contains the accounts of papers delivered at the Nato Advanced Study Institute on Finite and Infinite...  Read More >>

 Read More >>

 Read More >>

Combinatorial Algorithms on Words refers to the collection of manipulations of strings of symbols (words) - not...  Read More >>

This book proposes a new way of formalizing in logic and mathematics - a pyramidal graph system, devised by the...  Read More >>

This book examines some of the major contributions of Stephen Wolfram's best-selling classic, A New Kind of Science,...  Read More >>

 Read More >>

Constraint Satisfaction Problems (CSP) continues to receive increased attention because of both their high complexity...  Read More >>

The principle of local activity explains the emergence of complex patterns in a homogeneous medium. At first defined...  Read More >>

 Read More >>

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

Designed to help anyone lacking in practice, How to Pass Numerical Reasoning Tests is an invaluable resource for...  Read More >>

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

This book examines the logical status of diagrams-in order to advance the goal of universal logic by exploring common...  Read More >>

In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the Mindscape,...  Read More >>

?Nestled between number theory, combinatorics, algebra and analysis lies a rapidly developing subject in mathematics...  Read More >>

Using Event-B for Critical Device Software Systems  Read More >>