|
|
|
|
| LEADER |
00974nam a2200205 a 4500 |
| 001 |
552734 |
| 005 |
20171111230017.0 |
| 008 |
071029s2008 nyu b 001 0 eng d |
| 020 |
|
|
|a 9780387762753 (pbk.)
|
| 040 |
|
|
|a UKM
|
| 050 |
|
4 |
|a QA9
|b .S65 2008
|
| 082 |
|
4 |
|2 22
|a 511.3
|
| 100 |
1 |
4 |
|a Srivastava, S. M.
|q (Shashi Mohan)
|
| 245 |
1 |
2 |
|a A course on mathematical logic /
|c S.M. Srivastava.
|
| 260 |
1 |
2 |
|a New York, NY :
|b Springer,
|c c2008.
|
| 300 |
1 |
2 |
|a x, 140 p. ;
|c 24 cm.
|
| 504 |
1 |
2 |
|a Includes bibliographical references (p. [135]) and index.
|
| 505 |
1 |
2 |
|a 1. Syntax of first-order logic -- 2. Semantics of first-order languages -- 3. Propositional logic -- 4. Proof and metatheorems in first-order logic -- 5. Completeness theorem and model theory -- 6. Recursive functions and arithmetization of theories -- 7. Incompleteness theorems and recursion theory.
|
| 650 |
1 |
2 |
|a Logic, Symbolic and mathematical
|
| 952 |
|
|
|a GrThPMO
|b 59b015126c5ad17d7e5ad607
|c 952a
|d 9528
|e QA9.S65 2008
|t 7
|x m
|z Books
|
