Introduction to mathematical logic
Material type:
- 9781032919140
- 511.3 MEN-I
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | Course reserves |
---|---|---|---|---|---|---|---|---|
![]() |
IIITD Reference | Mathematics | REF 511.3 MEN-I (Browse shelf(Opens below)) | Not for loan | 013204 |
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.