Cargando…
Logical reasoning with diagrams /
PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Ac...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press,
1996.
|
| Colección: | Studies in logic and computation.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn435911853 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090905s1996 nyua 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 OCLCQ |d YDXCP |d OCLCQ |d AZK |d AGLDB |d MOR |d PIFAG |d ZCU |d OCLCQ |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d ICG |d INT |d VT2 |d AU@ |d OCLCQ |d WYU |d OCLCQ |d DKC |d OCLCQ |d HS0 |d UKCRE |d AJS |d SFB |d OCLCO |d OCLCQ | ||
| 016 | 7 | |a 000011880256 |2 AU | |
| 019 | |a 647836942 |a 778206658 |a 814459514 |a 819512171 |a 821694301 |a 824552071 |a 961506443 |a 962723182 |a 988449127 |a 992043194 |a 1035663591 |a 1037901612 |a 1038669809 |a 1045550520 |a 1055391283 |a 1057954990 |a 1058168769 |a 1066431408 |a 1081277820 |a 1109383660 |a 1153457094 |a 1162021583 |a 1290083291 |a 1300534633 | ||
| 020 | |a 9780195355864 |q (electronic bk.) | ||
| 020 | |a 0195355865 |q (electronic bk.) | ||
| 020 | |a 1280533757 | ||
| 020 | |a 9781280533754 | ||
| 020 | |a 9786610533756 | ||
| 020 | |a 661053375X | ||
| 020 | |a 0197560989 | ||
| 020 | |a 9780197560983 | ||
| 020 | |z 9780195104271 | ||
| 020 | |z 0195104277 |q (cloth ; |q alk. paper) | ||
| 029 | 1 | |a AU@ |b 000051585256 | |
| 029 | 1 | |a AU@ |b 000060917415 | |
| 029 | 1 | |a DEBBG |b BV043072824 | |
| 029 | 1 | |a DEBBG |b BV044135073 | |
| 029 | 1 | |a DEBSZ |b 421957719 | |
| 029 | 1 | |a DKDLA |b 820120-katalog:999941224105765 | |
| 029 | 1 | |a NZ1 |b 15322927 | |
| 035 | |a (OCoLC)435911853 |z (OCoLC)647836942 |z (OCoLC)778206658 |z (OCoLC)814459514 |z (OCoLC)819512171 |z (OCoLC)821694301 |z (OCoLC)824552071 |z (OCoLC)961506443 |z (OCoLC)962723182 |z (OCoLC)988449127 |z (OCoLC)992043194 |z (OCoLC)1035663591 |z (OCoLC)1037901612 |z (OCoLC)1038669809 |z (OCoLC)1045550520 |z (OCoLC)1055391283 |z (OCoLC)1057954990 |z (OCoLC)1058168769 |z (OCoLC)1066431408 |z (OCoLC)1081277820 |z (OCoLC)1109383660 |z (OCoLC)1153457094 |z (OCoLC)1162021583 |z (OCoLC)1290083291 |z (OCoLC)1300534633 | ||
| 050 | 4 | |a QA9 |b .L624 1996eb | |
| 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 P 63 |2 blsrissc | ||
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Logical reasoning with diagrams / |c edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein [and others]. |
| 260 | |a New York : |b Oxford University Press, |c 1996. | ||
| 300 | |a 1 online resource (xv, 270 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 Studies in logic and computation | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Part A. Theoretical Issues; Chapter I. Visual Information and Valid Reasoning; Chapter II. Operational Constraints in Diagrammatic Reasoning; Chapter III. Diagrams and the Concept of Logical System; Part B. Case Studies; Chapter IV. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams; Chapter V. Towards a Model Theory of Venn Diagrams; Chapter VI. Peircean Graphs for Propositional Logic; Chapter VII. A Diagrammatic Subsystem of Hilbert's Geometry; Part C. Heterogeneous Systems; Chapter VIII. Heterogeneous Logic. | |
| 520 | |a PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Charts, diagrams, etc. | |
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 6 | |a Logique symbolique et mathématique |v Tableaux, graphiques, etc. | |
| 650 | 6 | |a Représentation des connaissances. | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast |0 (OCoLC)fst00988187 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 1 | 7 | |a Symbolische logica. |2 gtt |
| 650 | 1 | 7 | |a Redeneren. |2 gtt |
| 653 | 1 | |a Mathematical logic | |
| 655 | 0 | |a Electronic books. | |
| 655 | 7 | |a Charts, diagrams, etc. |2 fast |0 (OCoLC)fst01423732 | |
| 700 | 1 | |a Allwein, Gerard, |d 1956- | |
| 700 | 1 | |a Barwise, Jon. | |
| 776 | 0 | 8 | |i Print version: |t Logical reasoning with diagrams. |d New York : Oxford University Press, 1996 |z 0195104277 |z 9780195104271 |w (DLC) 95041885 |w (OCoLC)33162941 |
| 830 | 0 | |a Studies in logic and computation. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287544 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL430395 | ||
| 938 | |a EBSCOhost |b EBSC |n 287544 | ||
| 938 | |a YBP Library Services |b YANK |n 3050168 | ||
| 994 | |a 92 |b IZTAP | ||