What is Mathematical Logic? / J.N. Crossley ... (et al)
Contributor(s): Crossley, J. N | Ash, C. J | Brickhill, C. J | Stillwell, J. C | Williams, N. H.
New York : Oxford univesity Press, 1979Description: 82 página.ISBN: 0198880871.Subject(s): Logica matematicaDDC classification: 510.1 /
Contents:
Item type | Current location | Collection | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central Book Cart | General | 510.1 / W555 (Browse shelf) | 1 | Available | CO | 8010004587 |
Total holds: 0
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.
There are no comments for this item.