Symbolic logic and mechanical theorem proving. Chang Ching-Liang; Lee Richard Char-Tung
Material type:
TextLanguage: English Publication details: 1973DDC classification: - R140aD, L3
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
South Campus Library | South Campus Library | R140aD L3 (Browse shelf(Opens below)) | Available | SC0457228 |
Browsing South Campus Library shelves Close shelf browser (Hides shelf browser)
| R14 Q2 Intutitionism | R14 Q3 Course on mathematical logic | R14 QO Concise introduction to mathematical logic. | R140aD L3 Symbolic logic and mechanical theorem proving. | R141 J7 Time and modality. | R141 K1 Lore of large numbers. | R141 K5 Theory of models. |
There are no comments on this title.
Log in to your account to post a comment.