Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, Part II / edited by M.M. Richter ... [et al.]
By: Logic Colloquium (1983 : Aachen).
Contributor(s): Richter, Michael M.
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
![]() |
Matheson Library | Matheson Library | Main Collection | Main Collection | 511.3 L832c (Browse shelf) | Available | 042813 |
Browsing Matheson Library Shelves , Shelving location: Main Collection , Collection code: Main Collection Close shelf browser
No cover image available |
![]() |
No cover image available | No cover image available |
![]() |
No cover image available | No cover image available | ||
511.3 K63 Mathematical logic / | 511.3 L554 Introduction to axiomatic set theory / | 511.3 L832 Models and sets | 511.3 L832c Computation and proof theory : | 511.3 M323e Elements of logic and foundations of mathematics in problems / | 511.3 M538i 1979 Introduction to mathematical logic | 511.3 M745 Introduction to set theory / |
There are no comments for this item.