Mathematical logic books

Specifically, it presents the mathe­ matical theory of the logic of bunched implications, BI: I consider Bl's proof...  Read More >>

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest...  Read More >>

The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed...  Read More >>

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002,...  Read More >>

 Read More >>

Guides through the topics of neural networks, fuzzy logic, mathematical modelling of electrical machines, power...  Read More >>

This text provides the reader with a basic understanding of both the underlying mathematics and the computational...  Read More >>

Developed in the context of a radical arithmetization of mathematics and logic, this book covers the many-faceted...  Read More >>

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

 Read More >>

Puzzles are as old as humanity and the human instinct for puzzles betrays the larger perpetual search for meaning...  Read More >>

These are the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets,...  Read More >>

This volume contains contributions from leading researchers in the critical disciplines of computing and information...  Read More >>

 Read More >>

Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001....  Read More >>

Bayes's theorem is a tool for assessing how probable evidence makes some hypothesis. These papers consider this...  Read More >>

 Read More >>

 Read More >>

Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this...  Read More >>

Presenting classical theorems, the book describes the topologies and uniform structures of Boolean algebras, the...  Read More >>

Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory...  Read More >>

Offers a treatment of the theory and mathematics of fuzzy automata and fuzzy languages. This title compares the...  Read More >>

The papers in this collection consider whether computational or other formal logical methods developed in disciplines...  Read More >>

Der Satz also, dass die Turing-berechenbaren Wortfunktionen gerade die partiell rekursiven Wortfunktionen sind,...  Read More >>

At the beginning of the new millennium, fuzzy logic opens a new challenging perspective in information processing....  Read More >>