First course in mathematical logic
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current library | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
Central Library | 511.3 SUP(FIR) (Browse shelf(Opens below)) | 1 | Available | 36692 |
Total holds: 0
Browsing Central Library shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
511.3 SIP(INT) Introduction to the theory of computation | 511.3 SRI(COU) A course on mathematical logic | 511.3 SRI(COU) A course on mathematical logic | 511.3 SUP(FIR) First course in mathematical logic | 511.3 TOL(TAB) Tableau systems for first order number theory and certain higher order theories | 511.3 TOU(LEC) Lectures in logic and set theory, vol.1 : mathematical logic | 511.32 BOU(ELE) Elements of mathematics : theory of sets |
There are no comments on this title.