Mathematical logic books

 Read More >>

Since 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information....  Read More >>

The sections of the book that follow contain introductory essays that provide analyses and context both for the...  Read More >>

Consists of papers selected from the presentations at the workshop and includes mainly recent developments in the...  Read More >>

Constitutes the proceedings of the 5th International Conference on Graph Transformations, ICGT 2010, held in Twente,...  Read More >>

This well-known book by the famed logician consists of three treatises: ""A General Method in Proofs of Undecidability,""...  Read More >>

Der Band VIII der Gesammelten Werke Felix Hausdorffs enthält seine literarischen Schriften, die er unter dem Pseudonym...  Read More >>

 Read More >>

<p>Exploring the theory of computability and complexity over the real numbers, this book provides a systematic,...  Read More >>

* Enforces the fundamental rule that you are not allowed to use any results that you have not proved yet, and consequently...  Read More >>

<p>This volume constitutes the thoroughly refereed post-conference proceedings of the Sixth International Symposium...  Read More >>

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

Yes, this is the Lewis Carroll who wrote Alice in Wonderland, and this work shows the same quirky humor. Here you...  Read More >>

Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of...  Read More >>

This book is a collection of some of the most popular posts from my blog— Godel ¨ Lost Letter andP=NP—which I started...  Read More >>

The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic,...  Read More >>

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis...  Read More >>

The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide...  Read More >>

Constitutes the refereed proceedings of the 8th International Conference on Logic and the Foundations of the Theory...  Read More >>

Constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, that was held as...  Read More >>

 Read More >>

Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification...  Read More >>

To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event...  Read More >>

 Read More >>

Presents a foundational mathematical approach to the modelling of social conflict. This book illustrates how theory...  Read More >>