First order mathematical logic A Margaris
Material type: TextLanguage: English Publication details: New York Dover 1990 Description: 211pISBN: 978048666695Subject(s): FIRST-ORDER LOGIC | NUMBER THEORY | SET THEORYDDC classification: 510.63Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | NISER LIBRARY | 510.63 MAR-F (Browse shelf(Opens below)) | Available | 5980 |
Browsing NISER LIBRARY shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
510.63 CHA-M Modal logic | 510.63 END-M Mathematical introduction to logic | 510.63 HIR-R Relation algebras by games | 510.63 MAR-F First order mathematical logic | 510.63 SMU-L Logical labyrinths | 510.633 MAR-I Introduction to mathematics of satisfiability | 510.633 MAR-I Introduction to mathematics of satisfiability |
Ref. sec
There are no comments on this title.