Mathematical logic books

The huge number and broad range of the existing and potential applications of fuzzy logic have precipitated a veritable...  Read More >>

The nineteenth century saw a movement to make higher mathematics rigorous.; This seemed to be on the brink of success...  Read More >>

This book offers an introductory course in model theory emphasizing connections to algebra.; It will be an appropriate...  Read More >>

This book is about stochastic Petri nets (SPNs), which have proven to be a popular tool for modelling and performance...  Read More >>

Relation algebras are algebras arising from the study of binary...  Read More >>

The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially,...  Read More >>

Marcus Giaquinto tells the story of one of the great intellectual adventures of the modern era -- the attempt to...  Read More >>

The focus of this book is on the theory of infinity in Lawrence of Lindores commentary on Aristotle s Physics ....  Read More >>

In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics...  Read More >>

This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is...  Read More >>

Computers are ubiquitous yet to many they remain objects of irreducible mystery. This text looks at the question...  Read More >>

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics....  Read More >>

Diese EinfA1/4hrung in die Theoretische Informatik zeichnet sich durch VerstAndlichkeit und gute Lesbarkeit aus....  Read More >>

The papers presented in this volume are devoted to issues of implementing automata of various types important for...  Read More >>

This text contains 8 expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity,...  Read More >>

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. Today his name is mentioned...  Read More >>

Change, Choice and Inference unifies lively and significant strands of research in logic, philosophy, economics...  Read More >>

This volume presents a broad, contemporary view of the field of modal logic, with contributions covering its foundations...  Read More >>

Best-selling book that challenges basic assumptions of logic  Read More >>

Convexity of sets in linear spaces, and concavity and convexity of functions, lie at the root of beautiful theoretical...  Read More >>

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal....  Read More >>

Such a volume not only ?xes basic results of the subject and makes them available to a broader audience, but also...  Read More >>

Es beweist bestechend logisch, dass selbst die größten, schnellsten, intelligentesten und teuersten Computer der...  Read More >>

Researchers in mathematics and computer science; This is an excellent collection of papers dealing with combinatorics...  Read More >>

This volume gathers lectures by eight distinguished pioneers of automata theory, including two Turing Award winners....  Read More >>