Cargando…
Intermediate logic /
Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford : New York :
Clarendon Press ; Oxford University Press,
1997.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn435942159 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090905s1997 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d EBLCP |d IDEBK |d E7B |d OCLCQ |d MHW |d OCLCQ |d OCLCF |d COO |d OCLCQ |d NLGGC |d YDXCP |d OCLCQ |d U5D |d HEBIS |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d KIJ |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d VT2 |d AU@ |d OCLCQ |d WYU |d DKC |d OCLCQ |d HS0 |d UWK |d UKAHL |d OCLCQ |d BOL |d VLY |d OCLCQ |d OCLCO |d QGK |d OCLCO |d OCLCQ |d YDX |d OCLCO |d OCLCL | ||
| 019 | |a 647837307 |a 939728127 |a 958570592 |a 961507660 |a 962677817 |a 988408411 |a 992074708 |a 1037922655 |a 1038549266 |a 1045553578 |a 1055318632 |a 1058160347 |a 1065958149 |a 1081213436 |a 1109325383 |a 1110347745 |a 1114367709 |a 1153011119 |a 1162430571 |a 1227639622 |a 1228575307 |a 1241859490 |a 1259057278 | ||
| 020 | |a 9780191567070 |q (electronic bk.) | ||
| 020 | |a 0191567078 |q (electronic bk.) | ||
| 020 | |a 9780198751410 |q (acid-free paper) | ||
| 020 | |a 0198751419 |q (acid-free paper) | ||
| 020 | |a 9781282383760 | ||
| 020 | |a 1282383760 | ||
| 020 | |a 9786612383762 | ||
| 020 | |a 6612383763 | ||
| 020 | |z 0198751419 |q (acid-free paper) | ||
| 020 | |z 0198751427 |q (pb ; |q acid-free paper) | ||
| 020 | |z 9780198751427 | ||
| 029 | 1 | |a AU@ |b 000051584009 | |
| 029 | 1 | |a AU@ |b 000066750024 | |
| 029 | 1 | |a DEBBG |b BV043079408 | |
| 029 | 1 | |a DEBBG |b BV044135241 | |
| 029 | 1 | |a DEBSZ |b 421957409 | |
| 029 | 1 | |a NZ1 |b 15322981 | |
| 035 | |a (OCoLC)435942159 |z (OCoLC)647837307 |z (OCoLC)939728127 |z (OCoLC)958570592 |z (OCoLC)961507660 |z (OCoLC)962677817 |z (OCoLC)988408411 |z (OCoLC)992074708 |z (OCoLC)1037922655 |z (OCoLC)1038549266 |z (OCoLC)1045553578 |z (OCoLC)1055318632 |z (OCoLC)1058160347 |z (OCoLC)1065958149 |z (OCoLC)1081213436 |z (OCoLC)1109325383 |z (OCoLC)1110347745 |z (OCoLC)1114367709 |z (OCoLC)1153011119 |z (OCoLC)1162430571 |z (OCoLC)1227639622 |z (OCoLC)1228575307 |z (OCoLC)1241859490 |z (OCoLC)1259057278 | ||
| 050 | 4 | |a BC135 |b .B473 1997eb | |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 072 | 0 | |a HPL | |
| 072 | 0 | |a PBCD | |
| 072 | 0 | |a PBCH | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Bostock, David. | |
| 245 | 1 | 0 | |a Intermediate logic / |c David Bostock. |
| 260 | |a Oxford : |b Clarendon Press ; |a New York : |b Oxford University Press, |c 1997. | ||
| 300 | |a 1 online resource (ix, 393 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 | ||
| 340 | |g polychrome. |2 rdacc |0 http://rdaregistry.info/termList/RDAColourContent/1003 | ||
| 347 | |a text file |2 rdaft |0 http://rdaregistry.info/termList/fileType/1002 | ||
| 504 | |a Includes bibliographical references (pages 379-381) and index. | ||
| 505 | 0 | |a Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W. | |
| 520 | |a Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Logica. |2 gtt |
| 650 | 1 | 7 | |a Semantiek. |2 gtt |
| 650 | 1 | 7 | |a Waarheid. |2 gtt |
| 758 | |i has work: |a Intermediate logic (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH6tkMQp4wVMrg9bXkwFXd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Bostock, David. |t Intermediate logic. |d Oxford : Clarendon Press ; New York : Oxford University Press, 1997 |z 0198751419 |z 9780198751410 |w (DLC) 97011503 |w (OCoLC)36621883 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=430685 |z Texto completo |
| 938 | |a YBP Library Services |b YANK |n 20450997 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26858557 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL430685 | ||
| 938 | |a EBSCOhost |b EBSC |n 287589 | ||
| 938 | |a YBP Library Services |b YANK |n 3050126 | ||
| 994 | |a 92 |b IZTAP | ||