Reflections on the Foundations of Mathematics
Language: en
Pages: 456
Authors: Wilfried Sieg
Categories: Mathematics
Type: BOOK - Published: 2017-03-30 - Publisher: Cambridge University Press

GET EBOOK

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books
Constructivity and Computability in Historical and Philosophical Perspective
Language: en
Pages: 223
Authors: Jacques Dubucs
Categories: Philosophy
Type: BOOK - Published: 2014-08-27 - Publisher: Springer

GET EBOOK

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relation
New Essays on Tarski and Philosophy
Language: en
Pages: 442
Authors: Douglas Patterson
Categories: Philosophy
Type: BOOK - Published: 2008-09-18 - Publisher: OUP Oxford

GET EBOOK

New Essays on Tarski and Philosophy aims to show the way to a proper understanding of the philosophical legacy of the great logician, mathematician, and philoso
Kurt Gödel
Language: en
Pages: 384
Authors: Solomon Feferman
Categories: Mathematics
Type: BOOK - Published: 2010-04-19 - Publisher: Cambridge University Press

GET EBOOK

Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof o
The Provenance of Pure Reason
Language: en
Pages: 354
Authors: William W. Tait
Categories: Mathematics
Type: BOOK - Published: 2005 - Publisher: Oxford University Press, USA

GET EBOOK

Publisher description