Mathematical logic books

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica...  Read More >>

This volume provides an introduction to the fundamental concepts of logic. Written for those new to the field, the...  Read More >>

Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M....  Read More >>

Constitutes the refereed proceedings of the 7th International Conference on Computers and Games, CG 2010, held in...  Read More >>

Logic and Complexity introduces some of the fundamental ideas of Logic for Computer Science, by explaining the classical...  Read More >>

S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann:...  Read More >>

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.-...  Read More >>

Constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract...  Read More >>

 Read More >>

Even a cursory reading should provide those few who may still believe that lattice theory is superficial or naive,...  Read More >>

Intends to present several main advances in Natural Language Semantics and the interface between syntax and semantics,...  Read More >>

Petri net technology is intuitively understood by scientists trained in the life sciences, and it has a robust mathematical...  Read More >>

 Read More >>

 Read More >>

Written to accompany a one- or two-semester course, this text combines rigor and wit to cover a plethora of topics...  Read More >>

The carefully selected material in this book equips the student with essential intellectual tools that are needed...  Read More >>

Celebrates the 25th anniversary of GULP - the Italian Association for Logic Programming. This book presents a survey...  Read More >>

Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language,...  Read More >>

<p>This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions...  Read More >>

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

This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed...  Read More >>

Constitutes the proceedings of the International Workshop on Vagueness in Communication, VIC 2009, held as part...  Read More >>

 Read More >>

This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies,...  Read More >>

Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open...  Read More >>