Related Books

Logicism Renewed
Language: en
Pages: 250
Authors: Paul C. Gilmore
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
Philosophy of Mathematics
Language: en
Pages: 735
Authors:
Categories: Philosophy
Type: BOOK - Published: 2009-07-08 - Publisher: Elsevier

GET EBOOK

One of the most striking features of mathematics is the fact that we are much more certain about the mathematical knowledge we have than about what mathematical
Mathematical Reviews
Language: en
Pages: 984
Authors:
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher:

GET EBOOK

Recursion Theory
Language: en
Pages: 93
Authors: Joseph R. Shoenfield
Categories: Mathematics
Type: BOOK - Published: 2018-04-27 - Publisher: CRC Press

GET EBOOK

This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundam
Theorem Proving in Higher Order Logics
Language: en
Pages: 200
Authors: Victor A. CarreƱo
Categories: Automatic theorem proving
Type: BOOK - Published: 2002 - Publisher:

GET EBOOK