Cargando…
A mathematical introduction to logic /
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy s...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Diego :
Harcourt/Academic Press,
�2001.
|
| Edición: | 2nd ed. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn166269598 | ||
| 003 | OCoLC | ||
| 005 | 20231117015043.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070823s2001 caua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d OSU |d OCLCQ |d OSU |d OCLCQ |d IDEBK |d E7B |d OCLCQ |d UIU |d OPELS |d OCLCF |d UIU |d OCLCQ |d LUN |d OCLCQ |d STF |d NLE |d UKMGB |d OL$ |d SFB |d OCLCQ |d OCLCO |d S2H |d OCLCQ |d OCLCO | ||
| 015 | |a GBB6H5170 |2 bnb | ||
| 016 | 7 | |a 017584158 |2 Uk | |
| 019 | |a 170957946 |a 648270632 |a 754709658 |a 926318233 |a 1150169588 |a 1162449429 |a 1167173723 | ||
| 020 | |a 9780080496467 |q (electronic bk.) | ||
| 020 | |a 0080496466 |q (electronic bk.) | ||
| 020 | |a 1281011614 | ||
| 020 | |a 9781281011619 | ||
| 020 | |a 9786611011611 | ||
| 020 | |a 6611011617 | ||
| 020 | |z 0122384520 | ||
| 020 | |z 9780122384523 | ||
| 035 | |a (OCoLC)166269598 |z (OCoLC)170957946 |z (OCoLC)648270632 |z (OCoLC)754709658 |z (OCoLC)926318233 |z (OCoLC)1150169588 |z (OCoLC)1162449429 |z (OCoLC)1167173723 | ||
| 050 | 4 | |a QA9 |b .E54 2001eb | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511/.3 |2 22 |
| 084 | |a 31.80 |2 bcl | ||
| 084 | |a SK 130 |2 rvk | ||
| 100 | 1 | |a Enderton, Herbert B. | |
| 245 | 1 | 2 | |a A mathematical introduction to logic / |c Herbert B. Enderton. |
| 250 | |a 2nd ed. | ||
| 260 | |a San Diego : |b Harcourt/Academic Press, |c �2001. | ||
| 300 | |a 1 online resource (xii, 317 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 | ||
| 504 | |a Includes bibliographical references (pages 307-308) and index. | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets. * Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. * Reduced mathematical rigour to fit the needs of undergraduate students. | ||
| 505 | 0 | 0 | |t Sentential Logic -- |t Informal Remarks on Formal Languages -- |t The Language of Sentential Logic -- |t Truth Assignments -- |t A Parsing Algorithm -- |t Induction and Recursion -- |t Sentential Connectives -- |t Switching Circuits -- |t Compactness and Effectiveness -- |t First-Order Logic -- |t First-Order Languages -- |t Truth and Models -- |t A Parsing Algorithm -- |t A Deductive Calculus -- |t Soundness and Completeness Theorems -- |t Models of Theories -- |t Interpretations Between Theories -- |t Nonstandard Analysis -- |t Undecidability -- |t Number Theory -- |t Natural Numbers with Successor -- |t Other Reducts of Number Theory -- |t A Subtheory of Number Theory -- |t Arithmetization of Syntax -- |t Incompleteness and Undecidability -- |t Recursive Functions -- |t Second Incompleteness Theorem -- |t Representing Exponentiation -- |t Second-Order Logic -- |t Second-Order Languages -- |t Skolem Functions -- |t Many-Sorted Logic -- |t General Structures. |
| 546 | |a English. | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 1 | 7 | |a Wiskundige logica. |2 gtt |
| 650 | 1 | 7 | |a Symbolische logica. |2 gtt |
| 776 | 0 | 8 | |i Print version: |a Enderton, Herbert B. |t Mathematical introduction to logic. |b 2nd ed. |d San Diego : Harcourt/Academic Press, �2001 |z 0122384520 |w (DLC) 00110670 |w (OCoLC)45830890 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780122384523 |z Texto completo |