First order mathematical logic Angelo Margaris
Material type: TextLanguage: English Publication details: New York Dover 1990 Description: 211pISBN: 9780486662695Subject(s): FIRST ORDER LOGIC | PREDICATE CALCULUS | QUANTIFIERSDDC classification: 510.6Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 510.6 MAR-F (Browse shelf(Opens below)) | R (REFERENCE) | 3921 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
510.6 EBB-M Mathematical logic | 510.6 LAN-S Introduction to symbolic logic(an) | 510.6 MAN-C Course in mathematical logic(a) | 510.6 MAR-F First order mathematical logic | 510.6 RAU-C Concise introduction to mathematical logic(a) | 510.6 RAU-C Concise introduction to mathematical logic(a) | 510.6 ROS-E Elements of mathematical logic(the) |
Ref.sec
There are no comments on this title.