Internformat: Intermediate logic /

Intermediate logic /:

Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bostock, David
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Oxford : New York : Clarendon Press ; Oxford University Press, 1997.
Schlagworte:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. PHILOSOPHY > Logic. Logic, Symbolic and mathematical Logica. Semantiek. Waarheid.
Online-Zugang:	Volltext
Zusammenfassung:	Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the.
Beschreibung:	1 online resource (ix, 393 pages) : illustrations
Bibliographie:	Includes bibliographical references (pages 379-381) and index.
ISBN:	9780191567070 0191567078 9780198751410 0198751419 9781282383760 1282383760 9786612383762 6612383763

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn435942159
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cnu---unuuu
008	090905s1997 enka 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 COO \|d OCLCQ \|d NLGGC \|d YDXCP \|d OCLCQ \|d U5D \|d HEBIS \|d OCLCQ \|d AZK \|d AGLDB \|d MOR \|d PIFAG \|d ZCU \|d MERUC \|d OCLCQ \|d U3W \|d KIJ \|d STF \|d WRM \|d OCLCQ \|d VTS \|d NRAMU \|d ICG \|d VT2 \|d AU@ \|d OCLCQ \|d WYU \|d DKC \|d OCLCQ \|d HS0 \|d UWK \|d UKAHL \|d OCLCQ \|d BOL \|d VLY \|d OCLCQ \|d OCLCO \|d QGK \|d OCLCO \|d OCLCQ \|d YDX \|d OCLCO \|d OCLCL \|d OCLCQ
019			\|a 647837307 \|a 939728127 \|a 958570592 \|a 961507660 \|a 962677817 \|a 988408411 \|a 992074708 \|a 1037922655 \|a 1038549266 \|a 1045553578 \|a 1055318632 \|a 1058160347 \|a 1065958149 \|a 1081213436 \|a 1109325383 \|a 1110347745 \|a 1114367709 \|a 1153011119 \|a 1162430571 \|a 1227639622 \|a 1228575307 \|a 1241859490 \|a 1259057278
020			\|a 9780191567070 \|q (electronic bk.)
020			\|a 0191567078 \|q (electronic bk.)
020			\|a 9780198751410 \|q (acid-free paper)
020			\|a 0198751419 \|q (acid-free paper)
020			\|a 9781282383760
020			\|a 1282383760
020			\|a 9786612383762
020			\|a 6612383763
020			\|z 0198751419 \|q (acid-free paper)
020			\|z 0198751427 \|q (pb ; \|q acid-free paper)
020			\|z 9780198751427
035			\|a (OCoLC)435942159 \|z (OCoLC)647837307 \|z (OCoLC)939728127 \|z (OCoLC)958570592 \|z (OCoLC)961507660 \|z (OCoLC)962677817 \|z (OCoLC)988408411 \|z (OCoLC)992074708 \|z (OCoLC)1037922655 \|z (OCoLC)1038549266 \|z (OCoLC)1045553578 \|z (OCoLC)1055318632 \|z (OCoLC)1058160347 \|z (OCoLC)1065958149 \|z (OCoLC)1081213436 \|z (OCoLC)1109325383 \|z (OCoLC)1110347745 \|z (OCoLC)1114367709 \|z (OCoLC)1153011119 \|z (OCoLC)1162430571 \|z (OCoLC)1227639622 \|z (OCoLC)1228575307 \|z (OCoLC)1241859490 \|z (OCoLC)1259057278
050		4	\|a BC135 \|b .B473 1997eb
072		7	\|a PHI \|x 011000 \|2 bisacsh
072		0	\|a HPL
072		0	\|a PBCD
072		0	\|a PBCH
082	7		\|a 160 \|2 22
049			\|a MAIN
100	1		\|a Bostock, David. \|0 http://id.loc.gov/authorities/names/n80098417
245	1	0	\|a Intermediate logic / \|c David Bostock.
260			\|a Oxford : \|b Clarendon Press ; \|a New York : \|b Oxford University Press, \|c 1997.
300			\|a 1 online resource (ix, 393 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
340			\|g polychrome. \|2 rdacc \|0 http://rdaregistry.info/termList/RDAColourContent/1003
347			\|a text file \|2 rdaft \|0 http://rdaregistry.info/termList/fileType/1002
504			\|a Includes bibliographical references (pages 379-381) and index.
505	0		\|a Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W.
520			\|a Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the.
588	0		\|a Print version record.
546			\|a English.
650		0	\|a Logic, Symbolic and mathematical. \|0 http://id.loc.gov/authorities/subjects/sh85078115
650		6	\|a Logique symbolique et mathématique.
650		7	\|a PHILOSOPHY \|x Logic. \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650	1	7	\|a Logica. \|2 gtt
650	1	7	\|a Semantiek. \|2 gtt
650	1	7	\|a Waarheid. \|2 gtt
776	0	8	\|i Print version: \|a Bostock, David. \|t Intermediate logic. \|d Oxford : Clarendon Press ; New York : Oxford University Press, 1997 \|z 0198751419 \|z 9780198751410 \|w (DLC) 97011503 \|w (OCoLC)36621883
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287589 \|3 Volltext
938			\|a YBP Library Services \|b YANK \|n 20450997
938			\|a Askews and Holts Library Services \|b ASKH \|n AH26858557
938			\|a ProQuest Ebook Central \|b EBLB \|n EBL430685
938			\|a EBSCOhost \|b EBSC \|n 287589
938			\|a YBP Library Services \|b YANK \|n 3050126
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn435942159
_version_	1816881697829945344
adam_text
any_adam_object
author	Bostock, David
author_GND	http://id.loc.gov/authorities/names/n80098417
author_facet	Bostock, David
author_role
author_sort	Bostock, David
author_variant	d b db
building	Verbundindex
bvnumber	localFWS
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC135
callnumber-raw	BC135 .B473 1997eb
callnumber-search	BC135 .B473 1997eb
callnumber-sort	BC 3135 B473 41997EB
callnumber-subject	BC - Logic
collection	ZDB-4-EBA
contents	Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W.
ctrlnum	(OCoLC)435942159
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
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04587cam a2200697 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn435942159</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">090905s1997 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U5D</subfield><subfield code="d">HEBIS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">KIJ</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HS0</subfield><subfield code="d">UWK</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BOL</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">647837307</subfield><subfield code="a">939728127</subfield><subfield code="a">958570592</subfield><subfield code="a">961507660</subfield><subfield code="a">962677817</subfield><subfield code="a">988408411</subfield><subfield code="a">992074708</subfield><subfield code="a">1037922655</subfield><subfield code="a">1038549266</subfield><subfield code="a">1045553578</subfield><subfield code="a">1055318632</subfield><subfield code="a">1058160347</subfield><subfield code="a">1065958149</subfield><subfield code="a">1081213436</subfield><subfield code="a">1109325383</subfield><subfield code="a">1110347745</subfield><subfield code="a">1114367709</subfield><subfield code="a">1153011119</subfield><subfield code="a">1162430571</subfield><subfield code="a">1227639622</subfield><subfield code="a">1228575307</subfield><subfield code="a">1241859490</subfield><subfield code="a">1259057278</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191567070</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0191567078</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198751410</subfield><subfield code="q">(acid-free paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198751419</subfield><subfield code="q">(acid-free paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282383760</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282383760</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612383762</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612383763</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198751419</subfield><subfield code="q">(acid-free paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0198751427</subfield><subfield code="q">(pb ;</subfield><subfield code="q">acid-free paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780198751427</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)435942159</subfield><subfield code="z">(OCoLC)647837307</subfield><subfield code="z">(OCoLC)939728127</subfield><subfield code="z">(OCoLC)958570592</subfield><subfield code="z">(OCoLC)961507660</subfield><subfield code="z">(OCoLC)962677817</subfield><subfield code="z">(OCoLC)988408411</subfield><subfield code="z">(OCoLC)992074708</subfield><subfield code="z">(OCoLC)1037922655</subfield><subfield code="z">(OCoLC)1038549266</subfield><subfield code="z">(OCoLC)1045553578</subfield><subfield code="z">(OCoLC)1055318632</subfield><subfield code="z">(OCoLC)1058160347</subfield><subfield code="z">(OCoLC)1065958149</subfield><subfield code="z">(OCoLC)1081213436</subfield><subfield code="z">(OCoLC)1109325383</subfield><subfield code="z">(OCoLC)1110347745</subfield><subfield code="z">(OCoLC)1114367709</subfield><subfield code="z">(OCoLC)1153011119</subfield><subfield code="z">(OCoLC)1162430571</subfield><subfield code="z">(OCoLC)1227639622</subfield><subfield code="z">(OCoLC)1228575307</subfield><subfield code="z">(OCoLC)1241859490</subfield><subfield code="z">(OCoLC)1259057278</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield><subfield code="b">.B473 1997eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="0"><subfield code="a">HPL</subfield></datafield><datafield tag="072" ind1=" " ind2="0"><subfield code="a">PBCD</subfield></datafield><datafield tag="072" ind1=" " ind2="0"><subfield code="a">PBCH</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bostock, David.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n80098417</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Intermediate logic /</subfield><subfield code="c">David Bostock.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Oxford :</subfield><subfield code="b">Clarendon Press ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">1997.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (ix, 393 pages) :</subfield><subfield code="b">illustrations</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="340" ind1=" " ind2=" "><subfield code="g">polychrome.</subfield><subfield code="2">rdacc</subfield><subfield code="0">http://rdaregistry.info/termList/RDAColourContent/1003</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="2">rdaft</subfield><subfield code="0">http://rdaregistry.info/termList/fileType/1002</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 379-381) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Logica.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Semantiek.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1="1" ind2="7"><subfield code="a">Waarheid.</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Bostock, David.</subfield><subfield code="t">Intermediate logic.</subfield><subfield code="d">Oxford : Clarendon Press ; New York : Oxford University Press, 1997</subfield><subfield code="z">0198751419</subfield><subfield code="z">9780198751410</subfield><subfield code="w">(DLC) 97011503</subfield><subfield code="w">(OCoLC)36621883</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287589</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">20450997</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26858557</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL430685</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">287589</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3050126</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn435942159
illustrated	Illustrated
indexdate	2024-11-27T13:16:51Z
institution	BVB
isbn	9780191567070 0191567078 9780198751410 0198751419 9781282383760 1282383760 9786612383762 6612383763
language	English
oclc_num	435942159
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (ix, 393 pages) : illustrations
psigel	ZDB-4-EBA
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Clarendon Press ; Oxford University Press,
record_format	marc
spelling	Bostock, David. http://id.loc.gov/authorities/names/n80098417 Intermediate logic / David Bostock. Oxford : Clarendon Press ; New York : Oxford University Press, 1997. 1 online resource (ix, 393 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier polychrome. rdacc http://rdaregistry.info/termList/RDAColourContent/1003 text file rdaft http://rdaregistry.info/termList/fileType/1002 Includes bibliographical references (pages 379-381) and index. Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W. Intermediate Logic fills a serious gap in the range of university logic texts by offering a clear, reliable, general guide for students taking a second course in logic after completing a basic introduction. It will serve as an ideal follow-up to any of the standard introductory texts, and will give excellent preparation for advanced work in logical theory or applications of logic in philosophy, mathematics, or computing theory. - ;Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the. Print version record. English. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Semantiek. gtt Waarheid. gtt Print version: Bostock, David. Intermediate logic. Oxford : Clarendon Press ; New York : Oxford University Press, 1997 0198751419 9780198751410 (DLC) 97011503 (OCoLC)36621883 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287589 Volltext
spellingShingle	Bostock, David Intermediate logic / Part I. SEMANTICS; 1. Introduction; 2. Truth-Functors; 3. Quantifiers; Part II. PROOFS; 4. Semantic Tableaux; 5. Axiomatic Proofs; 6. Natural Deduction; 7. Sequent Calculi; Part III. FURTHER TOPICS; 8. Existence and Identity; REFERENCES; LIST OF SYMBOLS; LIST OF AXIOMS AND RULES OF INFERENCE; INDEX; A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Semantiek. gtt Waarheid. gtt
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115
title	Intermediate logic /
title_auth	Intermediate logic /
title_exact_search	Intermediate logic /
title_full	Intermediate logic / David Bostock.
title_fullStr	Intermediate logic / David Bostock.
title_full_unstemmed	Intermediate logic / David Bostock.
title_short	Intermediate logic /
title_sort	intermediate logic
topic	Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast Logica. gtt Semantiek. gtt Waarheid. gtt
topic_facet	Logic, Symbolic and mathematical. Logique symbolique et mathématique. PHILOSOPHY Logic. Logic, Symbolic and mathematical Logica. Semantiek. Waarheid.
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=287589
work_keys_str_mv	AT bostockdavid intermediatelogic

Verfügbarkeit

MARC

Datensatz im Suchindex

Ähnliche Einträge