Algebra of proofs /
Provability, Computability and Reflection.
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Language Notes: | English. |
| Published: |
Amsterdam ; New York : New York :
North-Holland Pub. Co. ; Sole distributors for the U.S.A. and Canada, Elsevier North-Holland,
1978.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 88. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | Provability, Computability and Reflection. |
|---|---|
| Physical Description: | 1 online resource (xii, 297 pages) |
| Format: | Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Bibliography: | Includes bibliographical references (pages 278-284) and indexes. |
| ISBN: | 9780080954974 0080954979 9781483275420 1483275426 1283525275 9781283525275 9786613837721 6613837725 |