Mathematical logic books

This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between...  Read More >>

This beginning graduate textbook describes both recent achievements and classical results of computational complexity...  Read More >>

This beginning graduate textbook describes both recent achievements and classical results of computational complexity...  Read More >>

A how-to guide for implementing algorithms and protocols. Addressing real-world implementation issues, it emphasizes...  Read More >>

Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder...  Read More >>

 Read More >>

 Read More >>

 Read More >>

The action which follows upon an opinion depends as much upon the amount of confidence in that opinion as it does...  Read More >>

<p>This comprehensive, encyclopedic text provides the reader - from the graduate student to the researcher/practitioner...  Read More >>

This book on proof theory needs no previous knowledge of proof theory. Avoiding cryptic terminology as much as possible,...  Read More >>

<p>This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program...  Read More >>

A Geometry of Approximation addresses Rough Set Theory. It focuses mainly on its logic-algebraic interpretation....  Read More >>

This volume is the second in a series on the role of fuzzy paradigm and fuzzy rationality within the theory of knowledge....  Read More >>

Bertrand Russell At any particular stage in the development of humanity knowledge comes up against limits set by...  Read More >>

Developments in math, philosophy, physics, computer science, economics and linguistics have affected the development...  Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory...  Read More >>

There is much evidence to the contrary incl- ing the observation that the remarkable ability of people and animals...  Read More >>

Constitutes the proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held...  Read More >>

<p>This book constitutes the refereed proceedings of the 5th International Colloquium on Theoretical Aspects of...  Read More >>

Constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and...  Read More >>

<p>This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking...  Read More >>

<p>This comprehensive book covers the fundamental concepts of formal languages and compilation. It presents the...  Read More >>

Constitutes the refereed proceedings of the Second International Conference on Scalable Uncertainty Management,...  Read More >>

Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications,...  Read More >>