Elementary Logic: Revised Edition
Now much revised since its first appearance in 1941, W. V. Quine's Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words...
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Cambridge, MA
Harvard University Press
[1980]
|
Schlagworte: | |
Online-Zugang: | DE-1046 DE-1043 DE-858 DE-Aug4 DE-859 DE-860 DE-739 DE-473 URL des Erstveröffentlichers |
Zusammenfassung: | Now much revised since its first appearance in 1941, W. V. Quine's Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters |
Beschreibung: | Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024) |
Beschreibung: | 1 Online-Ressource (144 Seiten) |
ISBN: | 9780674042490 |
DOI: | 10.4159/9780674042490 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV049627894 | ||
003 | DE-604 | ||
007 | cr|uuu---uuuuu | ||
008 | 240326s1980 |||| o||u| ||||||eng d | ||
020 | |a 9780674042490 |9 978-0-674-04249-0 | ||
024 | 7 | |a 10.4159/9780674042490 |2 doi | |
035 | |a (ZDB-23-DGG)9780674042490 | ||
035 | |a (OCoLC)1429561669 | ||
035 | |a (DE-599)BVBBV049627894 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-1043 |a DE-1046 |a DE-858 |a DE-Aug4 |a DE-859 |a DE-860 |a DE-473 |a DE-739 | ||
082 | 0 | |a 160 | |
084 | |a CI 6554 |0 (DE-625)18544:11603 |2 rvk | ||
100 | 1 | |a Quine, Willard Van Orman |e Verfasser |4 aut | |
245 | 1 | 0 | |a Elementary Logic |b Revised Edition |c Willard Van Orman Quine |
264 | 1 | |a Cambridge, MA |b Harvard University Press |c [1980] | |
264 | 4 | |c © 1980 | |
300 | |a 1 Online-Ressource (144 Seiten) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
500 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024) | ||
520 | |a Now much revised since its first appearance in 1941, W. V. Quine's Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters | ||
546 | |a In English | ||
650 | 7 | |a PHILOSOPHY / General |2 bisacsh | |
650 | 4 | |a Logic, Symbolic and mathematical | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780674244511 |
856 | 4 | 0 | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
912 | |a ZDB-23-DGG | ||
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-1046 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-1043 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-858 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-Aug4 |p ZDB-23-DGG |q FHA_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-859 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-860 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-739 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.4159/9780674042490?locatt=mode:legacy |l DE-473 |p ZDB-23-DGG |q UBG_PDA_DGG |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1805082031227404288 |
---|---|
adam_text | |
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author | Quine, Willard Van Orman |
author_facet | Quine, Willard Van Orman |
author_role | aut |
author_sort | Quine, Willard Van Orman |
author_variant | w v o q wvo wvoq |
building | Verbundindex |
bvnumber | BV049627894 |
classification_rvk | CI 6554 |
collection | ZDB-23-DGG |
ctrlnum | (ZDB-23-DGG)9780674042490 (OCoLC)1429561669 (DE-599)BVBBV049627894 |
dewey-full | 160 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 160 - Philosophical logic |
dewey-raw | 160 |
dewey-search | 160 |
dewey-sort | 3160 |
dewey-tens | 160 - Philosophical logic |
discipline | Philosophie |
discipline_str_mv | Philosophie |
doi_str_mv | 10.4159/9780674042490 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV049627894</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240326s1980 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780674042490</subfield><subfield code="9">978-0-674-04249-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4159/9780674042490</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9780674042490</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1429561669</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049627894</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1043</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</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="100" ind1="1" ind2=" "><subfield code="a">Quine, Willard Van Orman</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elementary Logic</subfield><subfield code="b">Revised Edition</subfield><subfield code="c">Willard Van Orman Quine</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, MA</subfield><subfield code="b">Harvard University Press</subfield><subfield code="c">[1980]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (144 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Now much revised since its first appearance in 1941, W. V. Quine's Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780674244511</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FHA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4159/9780674042490?locatt=mode:legacy</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UBG_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV049627894 |
illustrated | Not Illustrated |
index_date | 2024-07-03T23:38:00Z |
indexdate | 2024-07-20T07:26:12Z |
institution | BVB |
isbn | 9780674042490 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034971779 |
oclc_num | 1429561669 |
open_access_boolean | |
owner | DE-1043 DE-1046 DE-858 DE-Aug4 DE-859 DE-860 DE-473 DE-BY-UBG DE-739 |
owner_facet | DE-1043 DE-1046 DE-858 DE-Aug4 DE-859 DE-860 DE-473 DE-BY-UBG DE-739 |
physical | 1 Online-Ressource (144 Seiten) |
psigel | ZDB-23-DGG ZDB-23-DGG FAW_PDA_DGG ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FCO_PDA_DGG ZDB-23-DGG FHA_PDA_DGG ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DGG UPA_PDA_DGG ZDB-23-DGG UBG_PDA_DGG |
publishDate | 1980 |
publishDateSearch | 1980 |
publishDateSort | 1980 |
publisher | Harvard University Press |
record_format | marc |
spelling | Quine, Willard Van Orman Verfasser aut Elementary Logic Revised Edition Willard Van Orman Quine Cambridge, MA Harvard University Press [1980] © 1980 1 Online-Ressource (144 Seiten) txt rdacontent c rdamedia cr rdacarrier Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024) Now much revised since its first appearance in 1941, W. V. Quine's Elementary Logic, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters In English PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s DE-604 Erscheint auch als Druck-Ausgabe 9780674244511 https://doi.org/10.4159/9780674042490?locatt=mode:legacy Verlag URL des Erstveröffentlichers Volltext |
spellingShingle | Quine, Willard Van Orman Elementary Logic Revised Edition PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4036202-4 (DE-588)4151278-9 |
title | Elementary Logic Revised Edition |
title_auth | Elementary Logic Revised Edition |
title_exact_search | Elementary Logic Revised Edition |
title_exact_search_txtP | Elementary Logic Revised Edition |
title_full | Elementary Logic Revised Edition Willard Van Orman Quine |
title_fullStr | Elementary Logic Revised Edition Willard Van Orman Quine |
title_full_unstemmed | Elementary Logic Revised Edition Willard Van Orman Quine |
title_short | Elementary Logic |
title_sort | elementary logic revised edition |
title_sub | Revised Edition |
topic | PHILOSOPHY / General bisacsh Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
topic_facet | PHILOSOPHY / General Logic, Symbolic and mathematical Logik Einführung |
url | https://doi.org/10.4159/9780674042490?locatt=mode:legacy |
work_keys_str_mv | AT quinewillardvanorman elementarylogicrevisededition |