Search the Library Catalogue
First-order logic Raymond M. Smullyan
Publication details: Mineola, NY Dover Publications c1995Description: xii, 158 p. ; 22 cmISBN:- 9780486683706
- 94039736
- 511.3 SMU
| Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|
| Anna Centenary Library | 511.3 SMU (Browse shelf(Opens below)) | Available | 443314 |
Browsing Anna Centenary Library shelves Close shelf browser (Hides shelf browser)
| 511.3 SIN Applied logic | 511.3 SMI An introduction to Gödel's Theorems | 511.3 SMI An introduction to Gödel's Theorems | 511.3 SMU First-order logic | 511.3 SOM History and philosophy of constructive type theory | 511.3 SRI Foundations Of Discrete Mathematics With Algorithms And Programming | 511.3 STE Mathematical logic with special reference to the natural numbers |
Includes bibliographical references and index
There are no comments on this title.
Log in to your account to post a comment.