Formally self-referential propositions for cut free classical analysis and related systems /
Saved in:
| OCLC: | 1327058 |
|---|---|
| Main Author: | |
| Corporate Author: | |
| Other Authors: | |
| Language: | English |
| Published: |
Warszawa :
Państwowe Wydawn. Naukowe,
1974.
|
| Series: | Rozprawy matematyczne ;
118. |
| Subjects: | |
| Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |
Borrow this resource
Item List
| Description | Local Call Number | Status |
|---|---|---|
| no.118 (1974) | P-00474502 | Available |