Text| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:R1 K92 (Browse shelf(Opens below)) | Available | SL0302129 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:R1 K9 Laws of form | B:R1 K91 Introduction to Mathematical Logic | B:R1 K91.1 Logical and Set-Theoretical foundations of mathematics | B:R1 K92 Applications of Model theory to Algebra, Analysis and Probability | B:(R1) L0 Term Logic with Choic Operator | B:R1 L0 Profile of mathematical logic | B:R1 L1 Mathematical logic and formalized theories |
There are no comments on this title.
Log in to your account to post a comment.