Mathematical logic books

This open access book constitutes the proceedings of the First International Conference on Robust Argumentation...  Read More >>

A rich, narrative explanation of the mathematics that has brought us machine learning and the ongoing explosion...  Read More >>

This textbook, written in a concise yet user-friendly style, will guide the reader in understanding and mastering...  Read More >>

This book collects the very best of the almost 1800 problems and puzzles published in Parabola magazine into a single...  Read More >>

Standard STEM courses, for all of their value, do not tend to include systematic lectures or treatment about the...  Read More >>

This book collects the very best of the almost 1800 problems and puzzles published in Parabola magazine into a single...  Read More >>

 Read More >>

This book revises and expands upon the prior edition, The Navier-Stokes Problem. By proving the NSP paradox, this...  Read More >>

With the development of several new directions of AI, including explainable AI, ethical AI and knowledge-based AI,...  Read More >>

Field Arithmetic explores Diophantine fields through their absolute Galois groups.  Read More >>

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.  This...  Read More >>

These include, for example, questions about the ontological status of mathematical objects (e.g., what is the nature...  Read More >>

This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying...  Read More >>

One of the world's most creative mathematicians offers new ways to look at maths - focusing on questions, not answers...  Read More >>

The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure...  Read More >>

This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus...  Read More >>

This book constitutes the refereed proceedings of the International Conference on Brain Inspired Cognitive Systems,...  Read More >>

This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization...  Read More >>

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops...  Read More >>

This Element explains why propositional quantifiers are especially interesting in the context of propositional modal...  Read More >>

This Element explains why propositional quantifiers are especially interesting in the context of propositional modal...  Read More >>

This book is about the relationship between necessary reasoning and visual experience in Charles S. In practicing...  Read More >>

The book has two chapters. The first chapter is a modern or contemporary account of stability theory. After a preliminary...  Read More >>

 Read More >>

John Corcoran was a very well-known logician who worked on several areas of logic. By encompassing a diverse range...  Read More >>