Select an Action
The collected papers of Gerhard Gentzen
Title:
The collected papers of Gerhard Gentzen
Author:
Szabo, M. E.
ISBN:
9780444534194
9781283526425
9786613838872
9780080957746
Publication Information:
Amsterdam : North-Holland, 1969.
Physical Description:
1 online resource (viii, 338 pages) : illustrations.
Series:
Studies in Logic and the Foundations of Mathematics ; v. 55
Studies in logic and the foundations of mathematics ; v. 55.
Contents:
On the existence of independent axiom systems for infinite sentence systems -- On the relation between intuitionist and classical arithmetic -- Investigations into logical deduction -- Consistency of elementary number theory -- Consistency of the simple theory of types -- Concept of infinity in mathematics -- Present state of research into the foundations of mathematics -- New version of the consistency proof for elementary number theory -- Provability and nonprovability of restricted transfinite induction in elementary number theory -- Fusion of several complete inductions.
Abstract:
Provability, Computability and Reflection.
Genre:
Electronic Access:
ScienceDirect http://www.sciencedirect.com/science/book/9780444534194 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/55Available:*
Shelf Number | Item Barcode | Shelf Location | Status |
|---|---|---|---|
| QA9.2 .C65 1969 | 1192466-1001 | Elsevier E-Book Collections | Searching... |
On Order
Select a list
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.