An invitation to mathematical logic
Material type:
TextSeries: Graduate texts in mathematicsPublication details: Switzerland : Springer, ©2024Description: xviii, 357 p. ; 24 cmISBN: - 9783031553677
- 511.3 MAR-I
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
IIITD General Stacks | Mathematics | 511.3 MAR-I (Browse shelf(Opens below)) | Available | 013259 |
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 LIN-I An introduction to formal languages and automata | 511.3 LIN-I An introduction to formal languages and automata | 511.3 MAR-F First order mathematical logic | 511.3 MAR-I An invitation to mathematical logic | 511.3 REV-I Introduction to formal languages | 511.3 RIC-A Automata, computability and complexity : theory and applications | 511.3 ROS-F Fuzzy logic with engineering applications |
Includes bibliographical references and index
Part 1. Truth and proof
Part 2. Elements of model theory
Part 3. Computability
Part 4. Arithmetic and Incompleteness
There are no comments on this title.