Related Books

Feferman on Foundations
Language: en
Pages: 617
Authors: Gerhard Jäger
Categories: Mathematics
Type: BOOK - Published: 2018-04-04 - Publisher: Springer

DOWNLOAD EBOOK

This volume honours the life and work of Solomon Feferman, one of the most prominent mathematical logicians of the latter half of the 20th century. In the colle
The Number Systems: Foundations of Algebra and Analysis
Language: en
Pages: 434
Authors: Solomon Feferman
Categories: Mathematics
Type: BOOK - Published: 2003 - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

The subject of this book is the successive construction and development of the basic number systems of mathematics: positive integers, integers, rational number
Alfred Tarski
Language: en
Pages: 442
Authors: Anita Burdman Feferman
Categories: Mathematics
Type: BOOK - Published: 2004-10-04 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Publisher Description
Handbook of Proof Theory
Language: en
Pages: 823
Authors: S.R. Buss
Categories: Mathematics
Type: BOOK - Published: 1998-07-09 - Publisher: Elsevier

DOWNLOAD EBOOK

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesti
Reflections on the Foundations of Mathematics
Language: en
Pages: 511
Authors: Stefania Centrone
Categories: Mathematics
Type: BOOK - Published: 2019-11-11 - Publisher: Springer Nature

DOWNLOAD EBOOK

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