Mathematical logic books

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical...  Read More >>

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held...  Read More >>

 Read More >>

En los desarrollos recientes de filósofos como Philip Kitcher, Daniel Dennett o Michael Ruse, se evidencia que la...  Read More >>

This third volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and...  Read More >>

This book explores the foundations of mathematical thought. The aim of this book is to encourage young mathematicians...  Read More >>

This book explores the foundations of mathematical thought. The aim of this book is to encourage young mathematicians...  Read More >>

Keep your brain busy at home with everyday puzzles. A bumper collection of easy, medium and difficult...  Read More >>

This volume presents the state of the art in the algebraic investigation into substructural logics.  Read More >>

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is...  Read More >>

This book delves into finite mathematics and its application in physics, particularly quantum theory. It is shown...  Read More >>

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming,...  Read More >>

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions,...  Read More >>

An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of them, from maths expert Rachel...  Read More >>

Presenting historical perspective and notes on important figures in mathematics, covering current activity in the...  Read More >>

Keeping students involved and actively learning is challenging. Instructors in computer science are aware of the...  Read More >>

An engaging, accessible introduction into how numbers work and why we shouldn’t be afraid of them, from maths expert Rachel...  Read More >>

This book describes some basic principles that allow developers of computer programs (computer scientists, software...  Read More >>

This textbook provides a self-contained introduction to decidability of first-order theories and their combination....  Read More >>

Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber...  Read More >>

How a computational framework can account for the successes and failures of human cognition At the heart of human...  Read More >>

"How a computational framework can account for the successes and failures of human cognition At the heart of human...  Read More >>

A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano...  Read More >>

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in...  Read More >>

 Read More >>