Introduction to Mathematical Logic Hermes Hans
Material type:
TextLanguage: English Publication details: 1973Description: p. 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 | SL0404749 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| 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 | B:(R1) L31;1 Symbolic logic and mechanical theorem proving |
There are no comments on this title.
Log in to your account to post a comment.