Formally self-referential propositions for cut free classical analysis and related systems
Material type:
TextLanguage: English Series: Dissertationes mathematicae; 118Publication details: Warezawa Panstwowe Wydawnictwo Naukowe 1970Description: 55p. cmDDC classification: - B313N, L42
Textual
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Textual
|
Central Science Library | Central Science Library | B313N L42 (Browse shelf(Opens below)) | Available | SL0315077 |
Appendix 44-48p
There are no comments on this title.
Log in to your account to post a comment.