Introduction to mathematical logic
Material type:
TextSeries: Textbooks in MathematicsPublication details: Boca Raton : CRC Press, ©2024Edition: 6th edDescription: xxiv, 489 p. ; 24 cmISBN: - 9781032919140
- 511.3 MEN-I
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
|---|---|---|---|---|---|---|---|---|
Books
|
IIITD Reference | Mathematics | REF 511.3 MEN-I (Browse shelf(Opens below)) | Not for loan | 013204 |
Browsing IIITD shelves, Shelving location: Reference, Collection: Mathematics Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 511.3 LAW-C Conceptual mathematics : | REF 511.3 LIN-B Bayesian inference | REF 511.3 MAR-F First order mathematical logic | REF 511.3 MEN-I Introduction to mathematical logic | REF 511.3 PAP-C Computational complexity | REF 511.3 RIC-A Automata, computability and complexity : | REF 511.3 ROG-T Theory of recursive functions and effective computability |
Includes bibliographical references and index
Chapter 1: The Propositional Calculus
Chapter 2: First-Order Logic and Model Theory
Chapter 3: Formal Number Theory
Chapter 4: Axiomatic Set Theory
Chapter 5: Computability
There are no comments on this title.