What is Mathematical Logic? /
J.N. Crossley ... (et al)
- 82 página.
Historical survey -- The completeness of predicate calculus -- Model theory -- Turing machines and recursive functions -- Gödel´s incompleteness theorems -- Set theory -- Some suggestions for futher reading.
0198880871
Logica matematica
510.1 / / W555
Historical survey -- The completeness of predicate calculus -- Model theory -- Turing machines and recursive functions -- Gödel´s incompleteness theorems -- Set theory -- Some suggestions for futher reading.
0198880871
Logica matematica
510.1 / / W555