Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
A course on mathematical logic
- Author / Creator
- Available as
- Physical
Details
Checking for availability...
- Creator
- Shashi Mohan Srivastava
- Format
- Books
- Language
- English
- Publication
-
- Second edition
- New York : Springer, [2013]
- ©2013
- Series
- Physical Details
-
- xii, 198 pages ; 24 cm
- ISBNs
- 1461457459, 1461457467, 9781461457466, 9781461457459
- OCLC
- ocn814705988, ocn827212490
- Includes bibliographical references (page 193) and index.
- Syntax of First-Order Logic -- Semantics of First-Order Languages -- Propositional Logic -- Completeness Theorem for First-Order Logic -- Model Theory -- Recursive Functions and Arithmetization of Theories -- Representability and Incompleteness Theorems