Cargando…
Proof and disproof in formal logic : an introduction for programmers /
"Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Ded...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; New York :
Oxford University Press,
2005.
|
| Colección: | Oxford texts in logic ;
2. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000004a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm64668437 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060314s2005 enka o 001 0 eng d | ||
| 010 | |a 2005019564 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d OCLCG |d OCLCQ |d TUU |d OCLCQ |d MT4IT |d QE2 |d IDEBK |d CN5CF |d OCLCQ |d OCLCF |d OCLCO |d OCLCQ |d INTCL |d AGLDB |d PIFBR |d OCLCQ |d JBG |d WY@ |d LUE |d STF |d VTS |d CEF |d YDX |d EBLCP |d LHU |d CANPU |d BRX |d OCLCQ |d CNTRU |d OCLCQ |d K6U |d SFB |d UKSSU |d OCLCO |d OCLCQ |d LDP |d VLY |d OCLCO | ||
| 019 | |a 150348981 |a 252637578 |a 455973042 |a 755659332 |a 814476046 |a 824558940 |a 991996515 |a 1044246402 |a 1044620526 |a 1056368423 |a 1056385236 |a 1078864130 |a 1097280506 |a 1125437779 |a 1136331139 |a 1154850610 |a 1156944504 | ||
| 020 | |a 142375722X |q (electronic bk.) | ||
| 020 | |a 9781423757221 |q (electronic bk.) | ||
| 020 | |a 9786610759002 | ||
| 020 | |a 6610759006 | ||
| 020 | |a 9780198530275 | ||
| 020 | |a 0198530277 | ||
| 020 | |a 1280759003 | ||
| 020 | |a 9781280759000 | ||
| 020 | |a 0198530269 | ||
| 020 | |a 9780198530268 | ||
| 020 | |z 0198530277 |q (Paper) | ||
| 024 | 3 | |a 9780198530275 | |
| 024 | 3 | |a 9780198530268 | |
| 029 | 1 | |a AU@ |b 000051588360 | |
| 029 | 1 | |a DEBBG |b BV043097332 | |
| 029 | 1 | |a DEBSZ |b 422283320 | |
| 035 | |a (OCoLC)64668437 |z (OCoLC)150348981 |z (OCoLC)252637578 |z (OCoLC)455973042 |z (OCoLC)755659332 |z (OCoLC)814476046 |z (OCoLC)824558940 |z (OCoLC)991996515 |z (OCoLC)1044246402 |z (OCoLC)1044620526 |z (OCoLC)1056368423 |z (OCoLC)1056385236 |z (OCoLC)1078864130 |z (OCoLC)1097280506 |z (OCoLC)1125437779 |z (OCoLC)1136331139 |z (OCoLC)1154850610 |z (OCoLC)1156944504 | ||
| 050 | 4 | |a BC173 |b .B67 2005eb | |
| 055 | 1 | 3 | |a BC173 |b .B67 2005eb |
| 072 | 7 | |a PHI |x 011000 |2 bisacsh | |
| 082 | 0 | 4 | |a 160 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Bornat, Richard, |d 1944- | |
| 245 | 1 | 0 | |a Proof and disproof in formal logic : |b an introduction for programmers / |c Richard Bornat. |
| 260 | |a Oxford ; |a New York : |b Oxford University Press, |c 2005. | ||
| 300 | |a 1 online resource (xix, 243 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 Oxford texts in logic ; |v 2 | |
| 500 | |a Includes index. | ||
| 505 | 0 | |a Basics -- Formal proof -- Disproof -- Proof of programs. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a "Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic that provides an excellent insight into how a simple logic works. The text concentrates on practical skills: making proofs and disproofs of particular logical claims. The logic it employs - Natural Deduction - is very small and very simple and teaches the student how to focus on syntactic reasoning." "Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text shows how to make proofs and disproofs in Jape, an interactive easy-to-use logic calculator designed and hosted by the author that is freely available on the web."--Jacket | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Evidence. | |
| 650 | 0 | |a Logic, Modern. | |
| 650 | 6 | |a Évidence. | |
| 650 | 7 | |a PHILOSOPHY |x Logic. |2 bisacsh | |
| 650 | 7 | |a Evidence |2 fast | |
| 650 | 7 | |a Logic, Modern |2 fast | |
| 650 | 7 | |a Mathematics. |2 hilcc | |
| 650 | 7 | |a Philosophy. |2 hilcc | |
| 650 | 7 | |a Philosophy & Religion. |2 hilcc | |
| 650 | 7 | |a Physical Sciences & Mathematics. |2 hilcc | |
| 650 | 7 | |a Logic. |2 hilcc | |
| 650 | 7 | |a Mathematical Theory. |2 hilcc | |
| 776 | 0 | 8 | |i Print version: |a Bornat, Richard, 1944- |t Proof and disproof in formal logic. |d Oxford ; New York : Oxford University Press, 2005 |z 0198530277 |z 0198530269 |w (DLC) 2005019564 |w (OCoLC)61179513 |
| 830 | 0 | |a Oxford texts in logic ; |v 2. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=150234 |z Texto completo |
| 938 | |a YBP Library Services |b YANK |n 2405018 | ||
| 938 | |a YBP Library Services |b YANK |n 15854047 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 75900 | ||
| 938 | |a EBSCOhost |b EBSC |n 150234 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5597961 | ||
| 938 | |a YBP Library Services |b YANK |n 20450389 | ||
| 994 | |a 92 |b IZTAP | ||