Cargando…
Lectures in logic and set theory : mathematical logic.
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are writ...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge Univ Press,
2003.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000003i 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn191035758 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 080121s2003 enk o 000 0 eng d | ||
| 040 | |a YDXCP |b eng |e pn |c YDXCP |d MHW |d MERUC |d OCLCQ |d EBLCP |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d ZCU |d ICG |d OCLCQ |d DKC |d OCLCQ |d RDF |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 0511068719 | ||
| 020 | |a 9780511068713 | ||
| 029 | 1 | |a DEBBG |b BV044079362 | |
| 029 | 1 | |a DEBSZ |b 37929141X | |
| 029 | 1 | |a DEBSZ |b 445553286 | |
| 035 | |a (OCoLC)191035758 | ||
| 050 | 4 | |a QA | |
| 082 | 0 | 4 | |a 511.3 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Tourlakis, George J. | |
| 245 | 1 | 0 | |a Lectures in logic and set theory : |b mathematical logic. |
| 260 | |a Cambridge : |b Cambridge Univ Press, |c 2003. | ||
| 300 | |a 1 online resource (volumes) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 500 | |a V. 1. | ||
| 505 | 0 | |a Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index. | |
| 520 | |a This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Set theory. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie des ensembles. | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Set theory |2 fast | |
| 758 | |i has work: |a 1 Lectures in logic and set theory Mathematical logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGXcpyCBKDK7CTH7kKMmv3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=218145 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL218145 | ||
| 938 | |a YBP Library Services |b YANK |n 2825964 | ||
| 938 | |a YBP Library Services |b YANK |n 2617805 | ||
| 994 | |a 92 |b IZTAP | ||