Verfügbarkeit: Mathematical logic /

Mathematical logic /:

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Chiswell, Ian, 1948-
Weitere Verfasser:	Hodges, Wilfrid
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London ; New York : Oxford University Press, 2007.
Schriftenreihe:	Oxford texts in logic ; 3.
Schlagworte:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical
Online-Zugang:	Volltext
Zusammenfassung:	Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s.
Beschreibung:	Includes index.
Beschreibung:	1 online resource (viii, 250 pages :)
ISBN:	9780191524806 0191524808 0199215626 9780199215621 0198571003 9780198571001 9781429492669 142949266X 9786611160425 6611160426 1281160423 9781281160423

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn171035807
003	OCoLC
005	20240705115654.0
006	m o d
007	cr cnu---unuuu
008	070912s2007 enka o 001 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d YDXCP \|d OCLCQ \|d N$T \|d OCLCQ \|d MT4IT \|d QE2 \|d IDEBK \|d W2U \|d E7B \|d CBT \|d MERUC \|d OCLCQ \|d OCLCF \|d OCLCQ \|d OCLCO \|d OCLCQ \|d EBLCP \|d MHW \|d DEBSZ \|d FVL \|d OCLCQ \|d AZK \|d LOA \|d JBG \|d COCUF \|d AGLDB \|d MOR \|d PIFAG \|d ZCU \|d OTZ \|d OCLCQ \|d U3W \|d RCC \|d BRL \|d STF \|d WRM \|d OCLCQ \|d VTS \|d CEF \|d NRAMU \|d ICG \|d OCLCQ \|d INT \|d VT2 \|d AU@ \|d OCLCQ \|d LHU \|d WYU \|d UWO \|d YOU \|d CANPU \|d TKN \|d OCLCQ \|d DKC \|d OCLCQ \|d M8D \|d OCLCQ \|d SFB \|d SNU \|d VLY \|d OCLCQ \|d OCLCO \|d QGK \|d OCLCQ \|d SGP \|d OCLCO \|d OCLCQ \|d BRX \|d YDX \|d OCLCQ \|d OCLCO \|d OCLCL
015			\|a GBA6A3782 \|2 bnb
016	7		\|z 013623963 \|2 Uk
019			\|a 252689739 \|a 455978564 \|a 476243100 \|a 613348178 \|a 647665122 \|a 728033960 \|a 764480965 \|a 961615423 \|a 962685443 \|a 966199534 \|a 988437123 \|a 991920710 \|a 994720940 \|a 1037478761 \|a 1037929182 \|a 1038655899 \|a 1044215600 \|a 1044225377 \|a 1045566272 \|a 1055386754 \|a 1056349377 \|a 1056358455 \|a 1058074265 \|a 1059557444 \|a 1060843222 \|a 1066622022 \|a 1078829129 \|a 1078851581 \|a 1081223776 \|a 1099560148 \|a 1125418234 \|a 1136412404 \|a 1161998208 \|a 1241908038 \|a 1286904470 \|a 1290109626 \|a 1300441326
020			\|a 9780191524806 \|q (electronic bk.)
020			\|a 0191524808 \|q (electronic bk.)
020			\|a 0199215626 \|q (Paper)
020			\|a 9780199215621 \|q (Paper)
020			\|a 0198571003 \|q (Cloth)
020			\|a 9780198571001 \|q (Cloth)
020			\|a 9781429492669
020			\|a 142949266X
020			\|a 9786611160425
020			\|a 6611160426
020			\|a 1281160423
020			\|a 9781281160423
035			\|a (OCoLC)171035807 \|z (OCoLC)252689739 \|z (OCoLC)455978564 \|z (OCoLC)476243100 \|z (OCoLC)613348178 \|z (OCoLC)647665122 \|z (OCoLC)728033960 \|z (OCoLC)764480965 \|z (OCoLC)961615423 \|z (OCoLC)962685443 \|z (OCoLC)966199534 \|z (OCoLC)988437123 \|z (OCoLC)991920710 \|z (OCoLC)994720940 \|z (OCoLC)1037478761 \|z (OCoLC)1037929182 \|z (OCoLC)1038655899 \|z (OCoLC)1044215600 \|z (OCoLC)1044225377 \|z (OCoLC)1045566272 \|z (OCoLC)1055386754 \|z (OCoLC)1056349377 \|z (OCoLC)1056358455 \|z (OCoLC)1058074265 \|z (OCoLC)1059557444 \|z (OCoLC)1060843222 \|z (OCoLC)1066622022 \|z (OCoLC)1078829129 \|z (OCoLC)1078851581 \|z (OCoLC)1081223776 \|z (OCoLC)1099560148 \|z (OCoLC)1125418234 \|z (OCoLC)1136412404 \|z (OCoLC)1161998208 \|z (OCoLC)1241908038 \|z (OCoLC)1286904470 \|z (OCoLC)1290109626 \|z (OCoLC)1300441326
050		4	\|a QA9.2 \|b .C45 2007eb
055	1	3	\|a QA9.2 \|b .C45 2007eb
072		7	\|a MAT \|x 016000 \|2 bisacsh
072		7	\|a MAT \|x 018000 \|2 bisacsh
082	7		\|a 511.3 \|2 22
049			\|a MAIN
100	1		\|a Chiswell, Ian, \|d 1948- \|1 https://id.oclc.org/worldcat/entity/E39PCjrQdvHQbCMVPGymgx4JcP \|0 http://id.loc.gov/authorities/names/n00014668
245	1	0	\|a Mathematical logic / \|c Ian Chiswell and Wilfrid Hodges.
260			\|a London ; \|a New York : \|b Oxford University Press, \|c 2007.
300			\|a 1 online resource (viii, 250 pages :)
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 Oxford texts in logic ; \|v 3
500			\|a Includes index.
588	0		\|a Print version record.
520			\|a Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s.
505	0		\|a 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index.
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 MATHEMATICS \|x Infinity. \|2 bisacsh
650		7	\|a MATHEMATICS \|x Logic. \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
700	1		\|a Hodges, Wilfrid. \|0 http://id.loc.gov/authorities/names/n85219766
758			\|i has work: \|a Mathematical logic (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCGBDb48YRhf8jk8TjxDhh3 \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|a Chiswell, Ian, 1948- \|t Mathematical logic. \|d London ; New York : Oxford University Press, 2007 \|z 9780199215621 \|z 0199215626 \|w (DLC) 2006103200 \|w (OCoLC)77012114
830		0	\|a Oxford texts in logic ; \|v 3. \|0 http://id.loc.gov/authorities/names/no2004096979
856	1		\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 \|3 Volltext
856	1		\|l CBO01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 \|3 Volltext
938			\|a YBP Library Services \|b YANK \|n 20450810
938			\|a EBL - Ebook Library \|b EBLB \|n EBL415527
938			\|a ebrary \|b EBRY \|n ebr10194257
938			\|a EBSCOhost \|b EBSC \|n 201078
938			\|a ProQuest MyiLibrary Digital eBook Collection \|b IDEB \|n 116042
938			\|a YBP Library Services \|b YANK \|n 2971526
938			\|a YBP Library Services \|b YANK \|n 2704241
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn171035807
_version_	1813903304915156992
adam_text
any_adam_object
author	Chiswell, Ian, 1948-
author2	Hodges, Wilfrid
author2_role
author2_variant	w h wh
author_GND	http://id.loc.gov/authorities/names/n00014668 http://id.loc.gov/authorities/names/n85219766
author_facet	Chiswell, Ian, 1948- Hodges, Wilfrid
author_role
author_sort	Chiswell, Ian, 1948-
author_variant	i c ic
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.2 .C45 2007eb
callnumber-search	QA9.2 .C45 2007eb
callnumber-sort	QA 19.2 C45 42007EB
callnumber-subject	QA - Mathematics
collection	ZDB-4-EBA
contents	1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index.
ctrlnum	(OCoLC)171035807
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05370cam a2200733 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn171035807</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20240705115654.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">070912s2007 enka o 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">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MT4IT</subfield><subfield code="d">QE2</subfield><subfield code="d">IDEBK</subfield><subfield code="d">W2U</subfield><subfield code="d">E7B</subfield><subfield code="d">CBT</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">MHW</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">RCC</subfield><subfield code="d">BRL</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">ICG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LHU</subfield><subfield code="d">WYU</subfield><subfield code="d">UWO</subfield><subfield code="d">YOU</subfield><subfield code="d">CANPU</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SFB</subfield><subfield code="d">SNU</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">SGP</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BRX</subfield><subfield code="d">YDX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA6A3782</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="z">013623963</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">252689739</subfield><subfield code="a">455978564</subfield><subfield code="a">476243100</subfield><subfield code="a">613348178</subfield><subfield code="a">647665122</subfield><subfield code="a">728033960</subfield><subfield code="a">764480965</subfield><subfield code="a">961615423</subfield><subfield code="a">962685443</subfield><subfield code="a">966199534</subfield><subfield code="a">988437123</subfield><subfield code="a">991920710</subfield><subfield code="a">994720940</subfield><subfield code="a">1037478761</subfield><subfield code="a">1037929182</subfield><subfield code="a">1038655899</subfield><subfield code="a">1044215600</subfield><subfield code="a">1044225377</subfield><subfield code="a">1045566272</subfield><subfield code="a">1055386754</subfield><subfield code="a">1056349377</subfield><subfield code="a">1056358455</subfield><subfield code="a">1058074265</subfield><subfield code="a">1059557444</subfield><subfield code="a">1060843222</subfield><subfield code="a">1066622022</subfield><subfield code="a">1078829129</subfield><subfield code="a">1078851581</subfield><subfield code="a">1081223776</subfield><subfield code="a">1099560148</subfield><subfield code="a">1125418234</subfield><subfield code="a">1136412404</subfield><subfield code="a">1161998208</subfield><subfield code="a">1241908038</subfield><subfield code="a">1286904470</subfield><subfield code="a">1290109626</subfield><subfield code="a">1300441326</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780191524806</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0191524808</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199215626</subfield><subfield code="q">(Paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199215621</subfield><subfield code="q">(Paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198571003</subfield><subfield code="q">(Cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198571001</subfield><subfield code="q">(Cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781429492669</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">142949266X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611160425</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611160426</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281160423</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281160423</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)171035807</subfield><subfield code="z">(OCoLC)252689739</subfield><subfield code="z">(OCoLC)455978564</subfield><subfield code="z">(OCoLC)476243100</subfield><subfield code="z">(OCoLC)613348178</subfield><subfield code="z">(OCoLC)647665122</subfield><subfield code="z">(OCoLC)728033960</subfield><subfield code="z">(OCoLC)764480965</subfield><subfield code="z">(OCoLC)961615423</subfield><subfield code="z">(OCoLC)962685443</subfield><subfield code="z">(OCoLC)966199534</subfield><subfield code="z">(OCoLC)988437123</subfield><subfield code="z">(OCoLC)991920710</subfield><subfield code="z">(OCoLC)994720940</subfield><subfield code="z">(OCoLC)1037478761</subfield><subfield code="z">(OCoLC)1037929182</subfield><subfield code="z">(OCoLC)1038655899</subfield><subfield code="z">(OCoLC)1044215600</subfield><subfield code="z">(OCoLC)1044225377</subfield><subfield code="z">(OCoLC)1045566272</subfield><subfield code="z">(OCoLC)1055386754</subfield><subfield code="z">(OCoLC)1056349377</subfield><subfield code="z">(OCoLC)1056358455</subfield><subfield code="z">(OCoLC)1058074265</subfield><subfield code="z">(OCoLC)1059557444</subfield><subfield code="z">(OCoLC)1060843222</subfield><subfield code="z">(OCoLC)1066622022</subfield><subfield code="z">(OCoLC)1078829129</subfield><subfield code="z">(OCoLC)1078851581</subfield><subfield code="z">(OCoLC)1081223776</subfield><subfield code="z">(OCoLC)1099560148</subfield><subfield code="z">(OCoLC)1125418234</subfield><subfield code="z">(OCoLC)1136412404</subfield><subfield code="z">(OCoLC)1161998208</subfield><subfield code="z">(OCoLC)1241908038</subfield><subfield code="z">(OCoLC)1286904470</subfield><subfield code="z">(OCoLC)1290109626</subfield><subfield code="z">(OCoLC)1300441326</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.2</subfield><subfield code="b">.C45 2007eb</subfield></datafield><datafield tag="055" ind1="1" ind2="3"><subfield code="a">QA9.2</subfield><subfield code="b">.C45 2007eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">016000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">511.3</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">Chiswell, Ian,</subfield><subfield code="d">1948-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjrQdvHQbCMVPGymgx4JcP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n00014668</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic /</subfield><subfield code="c">Ian Chiswell and Wilfrid Hodges.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Oxford University Press,</subfield><subfield code="c">2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 250 pages :)</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="490" ind1="1" ind2=" "><subfield code="a">Oxford texts in logic ;</subfield><subfield code="v">3</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index.</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">MATHEMATICS</subfield><subfield code="x">Infinity.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</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="700" ind1="1" ind2=" "><subfield code="a">Hodges, Wilfrid.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n85219766</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Mathematical logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGBDb48YRhf8jk8TjxDhh3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Chiswell, Ian, 1948-</subfield><subfield code="t">Mathematical logic.</subfield><subfield code="d">London ; New York : Oxford University Press, 2007</subfield><subfield code="z">9780199215621</subfield><subfield code="z">0199215626</subfield><subfield code="w">(DLC) 2006103200</subfield><subfield code="w">(OCoLC)77012114</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford texts in logic ;</subfield><subfield code="v">3.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2004096979</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><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=201078</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="1" ind2=" "><subfield code="l">CBO01</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=201078</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">20450810</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL415527</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10194257</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">201078</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">116042</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2971526</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2704241</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></record></collection>
id	ZDB-4-EBA-ocn171035807
illustrated	Illustrated
indexdate	2024-10-25T16:16:34Z
institution	BVB
isbn	9780191524806 0191524808 0199215626 9780199215621 0198571003 9780198571001 9781429492669 142949266X 9786611160425 6611160426 1281160423 9781281160423
language	English
oclc_num	171035807
open_access_boolean
owner	MAIN
owner_facet	MAIN
physical	1 online resource (viii, 250 pages :)
psigel	ZDB-4-EBA
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Oxford University Press,
record_format	marc
series	Oxford texts in logic ;
series2	Oxford texts in logic ;
spelling	Chiswell, Ian, 1948- https://id.oclc.org/worldcat/entity/E39PCjrQdvHQbCMVPGymgx4JcP http://id.loc.gov/authorities/names/n00014668 Mathematical logic / Ian Chiswell and Wilfrid Hodges. London ; New York : Oxford University Press, 2007. 1 online resource (viii, 250 pages :) text txt rdacontent computer c rdamedia online resource cr rdacarrier Oxford texts in logic ; 3 Includes index. Print version record. Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. - ;Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic. At each stage of the text, the reader is given an intuition based on standard mathematical practice, which is s. 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast Hodges, Wilfrid. http://id.loc.gov/authorities/names/n85219766 has work: Mathematical logic (Text) https://id.oclc.org/worldcat/entity/E39PCGBDb48YRhf8jk8TjxDhh3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Chiswell, Ian, 1948- Mathematical logic. London ; New York : Oxford University Press, 2007 9780199215621 0199215626 (DLC) 2006103200 (OCoLC)77012114 Oxford texts in logic ; 3. http://id.loc.gov/authorities/names/no2004096979 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078 Volltext
spellingShingle	Chiswell, Ian, 1948- Mathematical logic / Oxford texts in logic ; 1 Prelude; 2 Informal natural deduction; 3 Propositional logic; 4 First interlude: Wason's selection task; 5 Quantifier-free logic; 6 Second interlude: the Linda problem; 7 First-order logic; 8 Postlude; Appendix A: The natural deduction rules; Appendix B: Denotational semantics; Appendix C: Solutions to some exercises; Index. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115
title	Mathematical logic /
title_auth	Mathematical logic /
title_exact_search	Mathematical logic /
title_full	Mathematical logic / Ian Chiswell and Wilfrid Hodges.
title_fullStr	Mathematical logic / Ian Chiswell and Wilfrid Hodges.
title_full_unstemmed	Mathematical logic / Ian Chiswell and Wilfrid Hodges.
title_short	Mathematical logic /
title_sort	mathematical logic
topic	Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. MATHEMATICS Infinity. bisacsh MATHEMATICS Logic. bisacsh Logic, Symbolic and mathematical fast
topic_facet	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=201078
work_keys_str_mv	AT chiswellian mathematicallogic AT hodgeswilfrid mathematicallogic

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge