Mathematical logic books

Compact INTRODUCING guide to a boundlessly intriguing topic.  Read More >>

The importance of having ef cient and effective methods for data mining and kn- ledge discovery (DM&KD), to which...  Read More >>

The assumed reader should have some ba- ground in logic (an elementary course covering classical propositional and...  Read More >>

Adaptive Resonance Theory Microchips describes circuit strategies resulting in efficient and functional adaptive...  Read More >>

An unabridged printing of the second edition taken from the 'New...  Read More >>

This book constitutes the refereed proceedings of the 7th IFIP TC 12 International Conference on Intelligent Information...  Read More >>

 Read More >>

however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical...  Read More >>

 Read More >>

 Read More >>

<b>This edition features the exact same content as the traditional text in a convenient, three-hole-punched, loose-leaf...  Read More >>

Welcome to MathAIM (Academy of Interactive Mathematics) Workbooks! The MathAIM method is based on the three C's:...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 9th International Colloquium on Theoretical Aspects of Computing,...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic...  Read More >>

This book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna,...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory,...  Read More >>

This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in...  Read More >>

El razonamiento abductivo ha recibido una gran atencion en los ultimos anos gracias a sus aplicaciones en diversas...  Read More >>

Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical...  Read More >>

The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing...  Read More >>

This volume constitutes the refereed proceedings of the 12th Pacific Rim Conference on Artificial Intelligence,...  Read More >>

 Read More >>

We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics...  Read More >>

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem...  Read More >>