Selected logic papers:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
Harvard Univ. Press
1995
|
| Ausgabe: | Enl. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 307 S. |
| ISBN: | 0674798368 0674798376 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010217852 | ||
| 003 | DE-604 | ||
| 005 | 20170301 | ||
| 007 | t | ||
| 008 | 950612s1995 |||| 00||| eng d | ||
| 020 | |a 0674798368 |9 0-674-79836-8 | ||
| 020 | |a 0674798376 |9 0-674-79837-6 | ||
| 035 | |a (OCoLC)231643562 | ||
| 035 | |a (DE-599)BVBBV010217852 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-12 |a DE-703 |a DE-739 |a DE-20 |a DE-11 | ||
| 084 | |a CI 6552 |0 (DE-625)18544:11601 |2 rvk | ||
| 084 | |a CI 6554 |0 (DE-625)18544:11603 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Quine, W. V. |d 1908-2000 |e Verfasser |0 (DE-588)118641824 |4 aut | |
| 243 | 1 | 0 | |a Sammlung |
| 245 | 1 | 0 | |a Selected logic papers |c W. V. Quine |
| 250 | |a Enl. ed. | ||
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b Harvard Univ. Press |c 1995 | |
| 300 | |a XII, 307 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006790494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006790494 | ||
Datensatz im Suchindex
| _version_ | 1804124626656165888 |
|---|---|
| adam_text | oSELECTED
LOGIC
PAPERS
ENLARGEDEDITION
WV QUINE
HARVARD UNIVERSITY PRESS
Cambridge, Massachusetts
London, England
Contents
I Whitehead and the Rise of Modern Logic (1941) 3
II Logic, Symbolic (1954) 37
ill A Method of Generating Part of Arithmetic Without
Use of Intuitive Logic (1934) 52
IV Definition of Substitution (1936) 61
V Concatenation as a Basis for Arithmetic (1946) 70
VI Set-theoretic Foundations for Logic (1936) 83
VII Logic Based on Inclusion and Abstraction (1937) 100
VIII On Ordered Pairs and Relations (1945-46) 110
IX On (^-Inconsistency and a So-called Axiom of
Infinity (1952) 114
X Element and Number (1941) 121
XI On an Application of Tarski s Theory of Truth
(1952) 141
xii On Frege s Way Out (1954) 146
XIII Completeness of the Propositioned Calculus (1937) 159
XIV On Cores and Prime Implicants of Truth Functions
(1958) 164
xv Two Theorems about Truth Functions (1951) 172
xvi On Boolean Functions (1949) 176
XVII On the Logic of QuantificationJlQ^) 181
XVIH A Proof Procedure for Quantification Theory (1954) 196
XIX Interpretations of Sets of Conditions (1953) 205
XX Church s Theorem on the Decision Problem (1954) 212
XXI Quantification and the Empty Domain (1953) 220
xxn Reduction to a Dyadic Predicate (1953) 224
XXIII Variables Explained Away (1960) 227
xxiv Truth, Paradox, and Oodel s Theorem (1992) 236
XXV Immanence and Validity (1991) 242
XXVI MacHale on Boole (1985) 251
XXVII Peirce s Logic (1989) 258
xxvm Peano as Logician (1982) 266
XXIX Free Logic, Description, and Virtual Classes (1994) 278
The Inception of New Foundations (1981) 286
XXXI Pythagorean Triples and Fermat s Last Theorem
(1992) 290
REFERENCES 293
INDEX 301 •
|
| any_adam_object | 1 |
| author | Quine, W. V. 1908-2000 |
| author_GND | (DE-588)118641824 |
| author_facet | Quine, W. V. 1908-2000 |
| author_role | aut |
| author_sort | Quine, W. V. 1908-2000 |
| author_variant | w v q wv wvq |
| building | Verbundindex |
| bvnumber | BV010217852 |
| classification_rvk | CI 6552 CI 6554 |
| ctrlnum | (OCoLC)231643562 (DE-599)BVBBV010217852 |
| discipline | Philosophie |
| edition | Enl. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01562nam a2200421 c 4500</leader><controlfield tag="001">BV010217852</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170301 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950612s1995 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674798368</subfield><subfield code="9">0-674-79836-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0674798376</subfield><subfield code="9">0-674-79837-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)231643562</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010217852</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6552</subfield><subfield code="0">(DE-625)18544:11601</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 6554</subfield><subfield code="0">(DE-625)18544:11603</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Quine, W. V.</subfield><subfield code="d">1908-2000</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118641824</subfield><subfield code="4">aut</subfield></datafield><datafield tag="243" ind1="1" ind2="0"><subfield code="a">Sammlung</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Selected logic papers</subfield><subfield code="c">W. V. Quine</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Enl. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">Harvard Univ. Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 307 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006790494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006790494</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV010217852 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:48:40Z |
| institution | BVB |
| isbn | 0674798368 0674798376 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006790494 |
| oclc_num | 231643562 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-703 DE-739 DE-20 DE-11 |
| owner_facet | DE-29 DE-12 DE-703 DE-739 DE-20 DE-11 |
| physical | XII, 307 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Harvard Univ. Press |
| record_format | marc |
| spelling | Quine, W. V. 1908-2000 Verfasser (DE-588)118641824 aut Sammlung Selected logic papers W. V. Quine Enl. ed. Cambridge, Mass. [u.a.] Harvard Univ. Press 1995 XII, 307 S. txt rdacontent n rdamedia nc rdacarrier Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006790494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Quine, W. V. 1908-2000 Selected logic papers Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4143413-4 |
| title | Selected logic papers |
| title_auth | Selected logic papers |
| title_exact_search | Selected logic papers |
| title_full | Selected logic papers W. V. Quine |
| title_fullStr | Selected logic papers W. V. Quine |
| title_full_unstemmed | Selected logic papers W. V. Quine |
| title_short | Selected logic papers |
| title_sort | selected logic papers |
| topic | Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logik Mathematische Logik Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006790494&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT quinewv selectedlogicpapers |