Logic, semantics metamathematics Tarski Alfred
Material type:
TextLanguage: English Publication details: 1956Description: p. cmSubject(s): DDC classification: - B:R1, J61-;1
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | B:R1 J61-;1 (Browse shelf(Opens below)) | Available | SL0303355 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| B:R1 J4 Solvable cases of the decision problem | B:(R1) J6.1 Introduction to mathematical logic | B:R1 J6.1 Introduction to mathematical logic | B:R1 J61-;1 Logic, semantics metamathematics | B:R1 J61-;1 Logic, semantics metamathematics | B:R1 J9 Logic in elementary mathematics | B:R1 K1-;1 Recursive analysis |
There are no comments on this title.
Log in to your account to post a comment.