|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
EBOOKCENTRAL_ocn868007781 |
| 003 |
OCoLC |
| 005 |
20240329122006.0 |
| 006 |
m o d |
| 007 |
cr cn||||||||| |
| 008 |
040915s2005 dcua fob 001 0 eng d |
| 040 |
|
|
|a LLB
|b eng
|e pn
|c LLB
|d OCLCO
|d E7B
|d JSTOR
|d OCLCQ
|d OCLCF
|d JSTOR
|d YDXCP
|d COO
|d OCLCQ
|d EBLCP
|d DEBSZ
|d OCLCQ
|d AZK
|d MOR
|d PIFAG
|d ZCU
|d MERUC
|d OCLCQ
|d U3W
|d KIJ
|d STF
|d WRM
|d COCUF
|d NRAMU
|d ICG
|d VT2
|d AU@
|d OCLCQ
|d WYU
|d DKC
|d OCLCQ
|d UKCRE
|d OCLCO
|d OCLCQ
|d OCLCO
|d OCLCL
|d OCLCQ
|
| 015 |
|
|
|a GBA448111
|2 bnb
|
| 016 |
7 |
|
|a 012943229
|2 Uk
|
| 019 |
|
|
|a 889247557
|a 961565848
|a 962647538
|a 988493380
|a 991991784
|a 1037923166
|a 1038662011
|a 1045488192
|a 1055365776
|a 1065944880
|a 1081205565
|a 1153551283
|a 1228621377
|a 1391148395
|
| 020 |
|
|
|a 9781614440284
|q (electronic bk.)
|
| 020 |
|
|
|a 161444028X
|q (electronic bk.)
|
| 020 |
|
|
|z 0883850362
|q (hbk.)
|
| 020 |
|
|
|z 9780883850367
|q (hardcover)
|
| 020 |
|
|
|z 9780883850428
|q (pbk.)
|
| 029 |
1 |
|
|a AU@
|b 000053297477
|
| 029 |
1 |
|
|a AU@
|b 000069470434
|
| 029 |
1 |
|
|a DEBBG
|b BV044103512
|
| 029 |
1 |
|
|a DEBSZ
|b 449725324
|
| 029 |
1 |
|
|a NZ1
|b 15348360
|
| 035 |
|
|
|a (OCoLC)868007781
|z (OCoLC)889247557
|z (OCoLC)961565848
|z (OCoLC)962647538
|z (OCoLC)988493380
|z (OCoLC)991991784
|z (OCoLC)1037923166
|z (OCoLC)1038662011
|z (OCoLC)1045488192
|z (OCoLC)1055365776
|z (OCoLC)1065944880
|z (OCoLC)1081205565
|z (OCoLC)1153551283
|z (OCoLC)1228621377
|z (OCoLC)1391148395
|
| 037 |
|
|
|a 22573/ctt57mnkg
|b JSTOR
|
| 050 |
|
4 |
|a QA9
|b .W7483 2005eb
|
| 072 |
|
7 |
|a MAT018000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 511.3
|2 22
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Wolf, Robert S.
|
| 245 |
1 |
2 |
|a A tour through mathematical logic /
|c Robert S. Wolf.
|
| 260 |
|
|
|a Washington, D.C. :
|b Mathematical Association of America,
|c ©2005.
|
| 300 |
|
|
|a 1 online resource (xv, 397 pages) :
|b illustrations
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a The Carus mathematical monographs ;
|v no. 30
|
| 504 |
|
|
|a Includes bibliographical references (pages 375-379) and index.
|
| 505 |
0 |
|
|a Cover -- copyright page -- title page -- Preface -- Contents -- 1 Predicate Logic -- 1.1 Introduction -- A very brief history of mathematical logic -- Short Bio: Bertrand Russell -- 1.2 Propositional logic -- 1.3 Quantifiers -- Uniqueness -- Proof methods based on quantifiers -- Translating statements into symbolic form -- 1.4 First-order languages and theories -- Short Bio: Euclid -- 1.5 Examples of first-order theories -- 1.6 Normal forms and complexity -- Second-order logic and Skolem form -- 1.7 Other logics -- Many-valued logic -- Fuzzy logic -- Modal logic -- Nonmonotonic logic.
|
| 505 |
8 |
|
|a Temporal logic -- 2 Axiomatic Set Theory -- 2.1 Introduction -- 2.2 "Naive" set theory -- Short Bio: Georg Ferdinand Cantor -- 2.3 Zermelo-Fraenkel set theory -- Proper axioms of ZF set theory -- Short bio: John von Neumann -- The regularity axiom -- 2.4 Ordinals -- 2.5 Cardinals and the cumulative hierarchy -- Von Neumann cardinals -- The cumulative hierarchy -- 3 Recursion Theory and Computability -- 3.1 Introduction -- Short Bio: Emil Post -- 3.2 Primitive recursive functions -- 3.3 Turing machines and recursive functions -- Short Bio: Alan Turing -- The mu operator.
|
| 505 |
8 |
|
|a 3.4 Undecidability and recursive enumerability -- Recursive enumerability -- 3.5 Complexity theory -- Nondeterministic Turing machines, and P vs. NP -- 4 Gödel's Incompleteness Theorems -- 4.1 Introduction -- 4.2 The arithmetization of formal theories -- Short Bio: Kurt Gödel -- The recursion theorem -- 4.3 A potpourri of incompleteness theorems -- An historical perspective on Gödel's work -- Gödel's second incompleteness theorem -- Hilbert's formalist program, revisited -- 4.4 Strengths and limitations of PA -- Ramsey's theorems and the Paris-Harrington results -- Short Bio: Frank Ramsey.
|
| 505 |
8 |
|
|a 5 Model Theory -- 5.1 Introduction -- 5.2 Basic concepts of model theory -- 5.3 The main theorems of model theory -- The Löwenheim-Skolem -- Tarski theorem -- 5.4 Preservation theorems -- Preservation under submodels and intersections -- Preservation under unions of chains -- Preservation under homomorphic images -- Preservation under direct products -- 5.5 Saturation and complete theories -- Short Bio: Julia Robinson -- 5.6 Quantifier elimination -- 5.7 Additional topics in model theory -- Axiomatizable and nonaxiomatizable classes -- Stone spaces -- Tarski's undefinability theorem.
|
| 505 |
8 |
|
|a Second-order model theory -- 6 Contemporary Set Theory -- 6.1 Introduction -- Some more history of set theory -- 6.2 The relative consistency of AC and GCH -- 6.3 Forcing and the independence results -- 6.4 Modern set theory and large cardinals -- Large cardinals and the consistency of ZF -- 6.5 Descriptive set theory -- Classical descriptive set theory -- Short Bio: Nikolai Luzin -- 6.6 The axiom of determinacy -- Infinite games -- Woodin's program -- 7 Nonstandard Analysis -- 7.1 Introduction -- "Limits vs. infinitesimals" through the ages -- Short Bio: Archimedes.
|
| 590 |
|
|
|a ProQuest Ebook Central
|b Ebook Central Academic Complete
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 650 |
|
0 |
|a Algebra, Abstract.
|
| 650 |
|
6 |
|a Logique symbolique et mathématique.
|
| 650 |
|
6 |
|a Algèbre abstraite.
|
| 650 |
|
7 |
|a MATHEMATICS
|x Logic.
|2 bisacsh
|
| 650 |
|
7 |
|a Algebra, Abstract
|2 fast
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical
|2 fast
|
| 758 |
|
|
|i has work:
|a A tour through mathematical logic (Text)
|1 https://id.oclc.org/worldcat/entity/E39PCGTpJKcb6XHbVrG3yrJx6q
|4 https://id.oclc.org/worldcat/ontology/hasWork
|
| 776 |
0 |
8 |
|i Print version:
|a Wolf, Robert S.
|t Tour through mathematical logic.
|d Washington, D.C. : Mathematical Association of America, ©2005
|w (DLC) 2004113540
|
| 830 |
|
0 |
|a Carus mathematical monographs ;
|v no. 30.
|
| 856 |
4 |
0 |
|u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3330350
|z Texto completo
|
| 936 |
|
|
|a BATCHLOAD
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL3330350
|
| 938 |
|
|
|a ebrary
|b EBRY
|n ebr10722461
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 10803681
|
| 994 |
|
|
|a 92
|b IZTAP
|
