Proof theory / Gaisi Takeuti
(Studies in logic and the foundations of mathematics ; v. 81)
| Publisher | Amsterdam ; Tokyo : North-Holland |
|---|---|
| Year | 1987 |
| Edition | 2nd ed |
| Authors | *竹内, 外史(1926-) <タケウチ, ガイシ> Symposium on Intuitionism and Proof Theory (1968 : Buffalo) |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| Library Main Building 3rd fl. (Foreign Books) | U.S | 4100:83A:81 | 228002409R |
|
|
|
|
Hide details.
| Material Type | Books |
|---|---|
| Size | x, 490 p. ; 23 cm |
| Notes | Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968 Includes index |
| Subjects | LCSH:Proof theory |
| Classification | LCC:QA9.54 DC19:511.3 |
| Language | English |
| ID | 0000263304 |
| ISBN | 0444879439 |
| NCID |
BA00434660 
|
Similar Items
Usage statistics of this contents
Number of accesses to this page：3times