Filter
Matematisk logik
Filter
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model …
This graduate-level text presents topos theory as it has developed from the study of sheaves and is unique in its scope, discussing such topics as the sheafification process and …
This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. …
Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a …
This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any …
This textbook explores the foundations of real analysis using the framework of general ordered fields, demonstrating the multifaceted nature of the area. Focusing on the logical …
Can we reproduce the inimitable, or give a new life to what has been af fected by the weariness of existence? Folks, what you have in your hands is a translation into English of a …
The aim of this book is to teach the reader the topics in algebra which are useful in the study of computer science. In a clear, concise style, the author present the basic …
This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be …
The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms–Universitat ¨ in Munster ¨ . It was …