Mathematical logic books

This work presents a balanced integration of fuzzy logic, evolutionary computing, and neural information processing....  Read More >>

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role...  Read More >>

This second volume of a comprehensive edition of logician Godel's works collects together all his publications from...  Read More >>

This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical...  Read More >>

A monograph that surveys developments of Boolean functions and equations, as well as lattice functions and equations...  Read More >>

 Read More >>

This volume provides a summary of the basic properties of cellular automata and explores, in depth, many important...  Read More >>

 Read More >>

 Read More >>

This volume contains the papers presented at the Third Combinatorics, Computability and Logic (DMTCS'01) conference,...  Read More >>

Computing in Nonlinear Media and Automata Collectives presents an account of new ways to design massively parallel...  Read More >>

""Equations with Involutive Operators"" demonstrates an important interplay between abstract and concrete operator...  Read More >>

For the most part the authors are concerned with SL_n(R) and with invariant differential operators, the invariance...  Read More >>

This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets....  Read More >>

The theory of finite automata on finite stings, infinite strings, and trees has had a dis­ tinguished history. In...  Read More >>

Donald Knuth's influence in computer science ranges from the invention of literate programming to the development...  Read More >>

This title provides and introduction to harmonic maps between a surface and a symmetric manifold and constant mean...  Read More >>

This book gives an introduction to the model-theoretic study of groups, i.e., into what can be said about groups,...  Read More >>

 Read More >>

Attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the...  Read More >>

This book is a collection of essays centred around the subject of mathematical mechanization. Audience: This...  Read More >>

The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation....  Read More >>

Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus;...  Read More >>

The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications,...  Read More >>