Elementary Logic : : Revised Edition / / Willard Van Orman Quine.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Cambridge, MA : : Harvard University Press, , [1980] ©1980 |
Year of Publication: | 1980 |
Language: | English |
Online Access: | |
Physical Description: | 1 online resource (144 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9780674042490 |
---|---|
ctrlnum |
(DE-B1597)571915 |
collection |
bib_alma |
record_format |
marc |
spelling |
Quine, Willard Van Orman, author. aut http://id.loc.gov/vocabulary/relators/aut Elementary Logic : Revised Edition / Willard Van Orman Quine. Cambridge, MA : Harvard University Press, [1980] ©1980 1 online resource (144 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Frontmatter -- Contents -- 1. Introduction -- I . STATEMENT COMPOSITION -- II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- III • QUANTIFICATION -- IV • QUANTIFICA TIONAL INFERENCE -- Index restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. Mode of access: Internet via World Wide Web. In English. Description based on online resource; title from PDF title page (publisher's Web site, viewed 06. Mrz 2024) Logic, Symbolic and mathematical. PHILOSOPHY / General. bisacsh Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 9783110442212 print 9780674244511 https://doi.org/10.4159/9780674042490?locatt=mode:legacy https://www.degruyter.com/isbn/9780674042490 Cover https://www.degruyter.com/document/cover/isbn/9780674042490/original |
language |
English |
format |
eBook |
author |
Quine, Willard Van Orman, Quine, Willard Van Orman, |
spellingShingle |
Quine, Willard Van Orman, Quine, Willard Van Orman, Elementary Logic : Revised Edition / Frontmatter -- Contents -- 1. Introduction -- I . STATEMENT COMPOSITION -- II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- III • QUANTIFICATION -- IV • QUANTIFICA TIONAL INFERENCE -- Index |
author_facet |
Quine, Willard Van Orman, Quine, Willard Van Orman, |
author_variant |
w v o q wvo wvoq w v o q wvo wvoq |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Quine, Willard Van Orman, |
title |
Elementary Logic : Revised Edition / |
title_sub |
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_auth |
Elementary Logic : Revised Edition / |
title_alt |
Frontmatter -- Contents -- 1. Introduction -- I . STATEMENT COMPOSITION -- II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- III • QUANTIFICATION -- IV • QUANTIFICA TIONAL INFERENCE -- Index |
title_new |
Elementary Logic : |
title_sort |
elementary logic : revised edition / |
publisher |
Harvard University Press, |
publishDate |
1980 |
physical |
1 online resource (144 p.) |
contents |
Frontmatter -- Contents -- 1. Introduction -- I . STATEMENT COMPOSITION -- II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- III • QUANTIFICATION -- IV • QUANTIFICA TIONAL INFERENCE -- Index |
isbn |
9780674042490 9783110442212 9780674244511 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC135 |
callnumber-sort |
BC 3135 |
url |
https://doi.org/10.4159/9780674042490?locatt=mode:legacy https://www.degruyter.com/isbn/9780674042490 https://www.degruyter.com/document/cover/isbn/9780674042490/original |
illustrated |
Not Illustrated |
dewey-hundreds |
100 - Philosophy & psychology |
dewey-tens |
160 - Logic |
dewey-ones |
160 - Logic |
dewey-full |
160 |
dewey-sort |
3160 |
dewey-raw |
160 |
dewey-search |
160 |
doi_str_mv |
10.4159/9780674042490?locatt=mode:legacy |
work_keys_str_mv |
AT quinewillardvanorman elementarylogicrevisededition |
status_str |
n |
ids_txt_mv |
(DE-B1597)571915 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
is_hierarchy_title |
Elementary Logic : Revised Edition / |
container_title |
Title is part of eBook package: De Gruyter HUP eBook Package Archive 1893-1999 |
_version_ |
1795090193636655104 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03176nam a22006015i 4500</leader><controlfield tag="001">9780674042490</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20240306124542.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">240306t19801980mau fo d z eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780674042490</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">(DE-B1597)571915</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">mau</subfield><subfield code="c">US-MA</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">160</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Quine, Willard Van Orman, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/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 resource (144 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Contents -- </subfield><subfield code="t">1. Introduction -- </subfield><subfield code="t">I . STATEMENT COMPOSITION -- </subfield><subfield code="t">II • TRUTH-FuNCTIONAL TRANSFORMATIONS -- </subfield><subfield code="t">III • QUANTIFICATION -- </subfield><subfield code="t">IV • QUANTIFICA TIONAL INFERENCE -- </subfield><subfield code="t">Index</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</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="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English.</subfield></datafield><datafield tag="588" ind1="0" 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="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">HUP eBook Package Archive 1893-1999</subfield><subfield code="z">9783110442212</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</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></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9780674042490</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9780674042490/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-044221-2 HUP eBook Package Archive 1893-1999</subfield><subfield code="c">1893</subfield><subfield code="d">1999</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ECL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_PPALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield></record></collection> |