Cargando…
Deducibility and Decidability.
The works of Gdel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London :
Routledge,
1990.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mu 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn475875366 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr mn|---||||| | ||
| 008 | 091207s1990 enk o 000 0 eng d | ||
| 040 | |a EBLCP |b eng |e pn |c EBLCP |d BTCTA |d OCLCQ |d AGLDB |d OCLCF |d OCLCO |d ZCU |d MERUC |d OCLCQ |d OCLCO |d COCUF |d ICG |d OCLCQ |d DKC |d AU@ |d OCLCQ |d UKAHL |d HS0 |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 503053207 | ||
| 020 | |a 9780203015094 |q (electronic bk.) | ||
| 020 | |a 0203015096 |q (electronic bk.) | ||
| 029 | 1 | |a DEBBG |b BV044076135 | |
| 035 | |a (OCoLC)475875366 |z (OCoLC)503053207 | ||
| 050 | 4 | |a BC135.G495 1990eb | |
| 082 | 0 | 4 | |a 160 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Gill, R. R. Rockingham. | |
| 245 | 1 | 0 | |a Deducibility and Decidability. |
| 260 | |a London : |b Routledge, |c 1990. | ||
| 300 | |a 1 online resource (169 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a The works of Gdel, Tarski, Kleene and Church are fundamental to our understanding of the foundations of mathematics. In Deducibility and Decidability, their results and significance are presented in a new, unified manner. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Book Cover; Title; Contents; Preface; The Natural Numbers and their Conventional Ordering; Addition, Multiplication and Exponentiation; The Theory of -Forms; Effectiveness; Recursively Defined Predicates; The 'Arithmetization of Syntax'; Diagonalization; GOdel's Theorems, and their Relatives; The Limits of Representability; The Arithmetical Hierarchy; Envoi; Appendix: Terminological Matters; References; Index | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Decidability (Mathematical logic) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Décidabilité (Logique mathématique) | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 758 | |i has work: |a Deducibility and decidability (Text) |1 https://id.oclc.org/worldcat/entity/E39PCG73jfTfQtfbfKJx4trgJC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 1 | |z 9780415000338 | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=167715 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24543696 | ||
| 938 | |a Baker and Taylor |b BTCP |n BK0008766415 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL167715 | ||
| 994 | |a 92 |b IZTAP | ||