Formal Systems and Recursive Functions Crossley J. N Ed.; Dummett M. A. E Ed.
Material type:
TextLanguage: English Publication details: Amsterdam North Holland 1965Description: xv,464p. cmSubject(s): DDC classification: - B:R1, K5-;1
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:R1 K5-;1 (Browse shelf(Opens below)) | Available | SL0279456 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:R1 K4-;3 Introduction to mathematical logic | B:R1 K4-;3 Introduction to mathematical logic | B:R1 K4;L9 Introduction to mathematical logic | B:R1 K5-;1 Formal Systems and Recursive Functions | B:R1 K5-;1 Formal Systems and Recursive Functions | B:R1 K51 Language of logic | B:R1 K52 Solutions to the exercises in first course in mathematical logic |
There are no comments on this title.
Log in to your account to post a comment.