Mathematical foundations

This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011.

Originally published in 1931.

Dirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer.

This book, for a first undergraduate course in Discrete Mathematics, systematically exploits the relationship between discrete mathematics and computer programming.

This monograph looks at causal nets from a philosophical point of view.

Although this book deals with basic set theory (in general, it stops short of areas where model-theoretic methods are used) on a rather advanced level, it does it at an unhurried pace.

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

This book is dedicated to the work of Alasdair Urquhart.

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.

Das vorliegende Buch besteht aus zwei Teilen.

In the last 25 years, the fuzzy set theory has been appliedin many disciplines such as operations research, managementscience, control theory,artificial intelligence/expertsystem, etc.

The aim of this book is to define and discuss the key issues raised by new findings in the study of quantitative development.

Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist.

This book offers an introduction to artificial adaptive systems and a general model of the relationships between the data and algorithms used to analyze them.

This book explores the exciting world of quantum computing, from its theoretical foundations to its practical applications, offering both non-technical and expert readers a comprehensive and accessible introduction to this cutting-edge technology that has the potential to revolutionize the way we process and transmit information.

Online education has become a major component of higher education worldwide.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.

Wozu brauchen wir im täglichen Leben Mathematik?

This second volume continues Richard Routley's explorations of an improved Meinongian account of non-referring and intensional discourse (including joint work with Val Routley, later Val Plumwood).

This book gathers invited, peer-reviewed works presented at the 2021 edition of the Classical and Constructive Nonassociative Algebraic Structures: Foundations and Applications-CaCNAS: FA 2021, virtually held from June 30 to July 2, 2021, in dedication to the memory of Professor Nebojsa Stevanovic (1962-2009).

The courses given at the 1st C.

The Institute Vienna Circle held a conference in Vienna in 2003, Cambridge and Vienna - Frank P.

The book showcases how advanced cybersecurity and forensic techniques can be applied to various computational issues.

A clear and focused introduction to recursion theory that is ideal for teaching and self-study.

Information is precious.

This book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics.

The most seminal collection of papers of descriptive set theory reprinted and put into the modern research context.

This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa.

This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data.

This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics.

Mathematical card effects offer both beginning and experienced magicians an opportunity to entertain with a minimum of props.

Type-2 fuzzy sets extend both ordinary and interval-valued fuzzy sets to allow distributions, rather than single values, as degrees of membership.

Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind.

Possible worlds models were introduced by Saul Kripke in the early 1960s.

Number theory as studied by the logician is the subject matter of the book.

The Only Undergraduate Textbook to Teach Both Classical and Virtual Knot TheoryAn Invitation to Knot Theory: Virtual and Classical gives advanced undergraduate students a gentle introduction to the field of virtual knot theory and mathematical research.

Noneuclidean Geometry focuses on the principles, methodologies, approaches, and importance of noneuclidean geometry in the study of mathematics.

This self-contained book is an exposition of the fundamental ideas of model theory.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.

This book presents chapters exploring the most recent developments in the role of technology in proving.

The book is intended for students of graduate and postgraduate level, researchers in mathematical sciences as well as those who want to apply the spectral theory of second order differential operators in exterior domains to their own field.

The basics of category theory beautifully explained with a wealth of exercises.

This is the first book devoted to the systematic study of sparse graphs and sparse finite structures.

Originally published in 1962.