Mathematical logic books

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015,...  Read More >>

This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct...  Read More >>

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain...  Read More >>

This concise textbook will teach mathematics students the art of proving theorems. Using a simple approach, it will...  Read More >>

Introduced by the editor Sarah Whitfield, four decades of writing are brought together for the first time in this...  Read More >>

This theme has been coming for a while, and some famous pioneers are chapter authors, but we can now see a broader...  Read More >>

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their...  Read More >>

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical...  Read More >>

Developments in the practice of mathematics have led to new types of proof and argumentation, challenging the established...  Read More >>

Vague concepts are intrinsic to human communication. This goal, however, requires a formal model of vague concepts...  Read More >>

Triddlers are logic puzzles that use number clues around a grid to create an image. The clues encircle the entire...  Read More >>

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of...  Read More >>

Carsten Rosnick legt seiner Arbeit die Frage nach der algorithmischen Komplexitat der approximativen Berechnung...  Read More >>

This SpringerBrief presents research in the application of Stochastic Petri Nets (SPN) to the performance evaluation...  Read More >>

Was haben ein Konig und eine Prinzessin in der Mengenlehre zu suchen? Eine Menge!In dem fantastischen Konigreich...  Read More >>

 Read More >>

This book introduces formal semantics techniques for a natural language processing audience. Methods discussed involve:...  Read More >>

 Read More >>

 Read More >>

 Read More >>

To commemorate the centenary of Turing's birth, this republication of his mother's biography contains a new foreword...  Read More >>

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and...  Read More >>

Between inventing the concept of a universal computer in 1936 and breaking the German Enigma code during World War...  Read More >>

Cryptography, the science of encoding and decoding information, allows people to do online banking, online trading,...  Read More >>

In fact, the prototype of such problems is the following: If each point of the plane is to be given a color, how...  Read More >>