Proof theory / Gaisi Takeuti
Material type:
TextLanguage: English Series: Studies in logic and the foundations of mathematics ; v. 81Publication details: Amsterdam : North-Holland, 1975Description: vii, 372 p. ; 23 cmISBN: - 0720422779 :
- 0444104925
- 517.0108
| Item type | Current library | Collection | Call number | Materials specified | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|
|
|
National Library of India New English - Main Stack Division | New English | E517.0108 T139 (Browse shelf(Opens below)) | Available | PUR000430704ENG |
Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968
Includes index
There are no comments on this title.
