Matamathematical Investigation of Intuitionistic Arithmetic and Analysis Troelstra A. S. Ed.
Material type:
TextLanguage: English Series: Lecture notes in mathematics; 344Publication details: Berlin Springer-verlag 1973Description: vii, 485p. cmDDC classification: - B:(R1), L3
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:(R1) L3 (Browse shelf(Opens below)) | Available | SL0516765 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:R1 L2-;1 Meaning and Existence in Mathematics | B:R1 L2-;1 Meaning and Existence in Mathematics | B:R1 L2;2 Mathematical Logic | B:(R1) L3 Matamathematical Investigation of Intuitionistic Arithmetic and Analysis | B:R1 L3 Introduction to Mathematical Logic | B:(R1) L3.1 Course of mathematical logic | B:(R1) L31 Symbolic logic and mechanical theorem proving |
There are no comments on this title.
Log in to your account to post a comment.