The collected papers of Gerhard Gentzen /
Provability, Computability and Reflection.
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English German |
| Language Notes: | English. |
| Published: |
Amsterdam :
North-Holland,
1969.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 55. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Provability, Computability and Reflection. |
|---|---|
| Physical Description: | 1 online resource (viii, 338 pages) : illustrations |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 9780444534194 0444534199 1283526425 9781283526425 9786613838872 661383887X 0080957749 9780080957746 |