Mathematical Logic

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory,...

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory,...

Dieses Buch zeichnet ein im wahrsten Sinne des Wortes  farbenfrohes Bild von Mathematik: Es stellt eine Auswahl von mathematischen Themen vor, die...

This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two pa...

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in P...

This book is dedicated to Dick de Jonghs contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written b...

First published in 1990, this book consists of a detailed exposition of results of the theory of interpretation developed by G. Kreisel the relati...

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolutio...

Dieses Werk ist eine Einführung in philosophische Probleme und Hintergründe des mathematischen Denkens, Lehrens und Lernens. Es beinhaltet mathemat...

Introducing StonePriestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and re...

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exe...

A Waterstones Best Popular Science Book of 2023'Delightfully clear and vivid to read...A splendid book! Philip Pullman'Absolutely fascinating' Jame...

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-st...

This is an expository account of work on strong forms of the Axiom of Determinacy (AD) by a group of set theorists in Southern California, in parti...

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

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain i...

Challenge yourself at home with word and number puzzles The latest volume in the hugely popular Killer Su Doku series from The Times, fea...

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain i...

Another terrific book by Rob Eastaway SIMON SINGH A delightfully accessible guide to how to play wit...

The book is a concise, self-contained and fully updated introduction to automata theory a fundamental topic of computer sciences and engineering. ...