Cơ bản

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation …

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that …

This book explores and highlights the fertile interaction between logic and operator algebras, which in recent years has led to the resolution of several long-standing open problems on C*-algebras. …

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model …

Lectures: G.E. Sacks: Model theory and applications.- H.J. Keisler: Constructions in model theory.- Seminars: M. Servi: SH formulas and generalized exponential.- J.A. Makowski: Topological model …

S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. …

The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s. It …

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions inde …

This monograph explores the logical systems of early logicians in the Arabic tradition from a theoretical perspective, providing a complete panorama of early Arabic logic and centering it within an e …

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of …