Verfügbarkeit: The mathematics of logic :

The mathematics of logic :: a guide to completeness theorems and their applications /

This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kaye, Richard (Richard W.)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge : Cambridge University Press, 2007.
Schlagworte:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Mathematische Logik
Online-Zugang:	Volltext
Zusammenfassung:	This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
Beschreibung:	Includes index.
Beschreibung:	1 online resource (xi, 204 pages :)
Bibliographie:	Includes bibliographical references (page 199) and index.
ISBN:	9780511342738 051134273X 0511341687 9780511341687 9780511619243 0511619243 1107185238 9781107185234 1281085316 9781281085313 9786611085315 6611085319 0511342209 9780511342202 0511341105 9780511341106 0511556837 9780511556838

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn181380147
003	OCoLC
005	20240705115654.0
006	m o d
007	cr cnu---unuuu
008	071116s2007 enka ob 001 0 eng d
040			\|a N$T \|b eng \|e pn \|c N$T \|d YDXCP \|d OCLCQ \|d NRU \|d AUD \|d OCLCO \|d E7B \|d AZU \|d REDDC \|d IDEBK \|d OCLCQ \|d DEBSZ \|d COO \|d AU@ \|d OCLCQ \|d I9W \|d EUX \|d FTUBL \|d OCLCF \|d OCLCQ \|d EBLCP \|d OCLCQ \|d COCUF \|d CNNOR \|d LOA \|d MERUC \|d ZCU \|d X#7 \|d ICG \|d K6U \|d OCLCQ \|d HEBIS \|d STF \|d OCLCQ \|d D6H \|d UAB \|d WRM \|d WCO \|d OCLCO \|d OCLCQ \|d INT \|d VT2 \|d OCLCQ \|d WYU \|d A6Q \|d LVT \|d TKN \|d U3W \|d OCLCQ \|d DKC \|d OCLCQ \|d OL$ \|d OCLCQ \|d G3B \|d OCLCQ \|d UKCRE \|d VLY \|d UKAHL \|d AJS \|d LUN \|d OCLCO \|d OCLCQ \|d OCLCO \|d OCLCL
015			\|a GBA752063 \|2 bnb
016	7		\|a 013784655 \|2 Uk
019			\|a 191727788 \|a 519719498 \|a 647687077 \|a 667099587 \|a 778813764 \|a 781393011 \|a 815536469 \|a 819627018 \|a 957741419 \|a 958086237 \|a 993296937 \|a 1000198160 \|a 1007564346 \|a 1029499592 \|a 1035656427 \|a 1037742546 \|a 1038591582 \|a 1055384398 \|a 1058528644 \|a 1066614762 \|a 1076313422 \|a 1153459128 \|a 1162554735 \|a 1171252989 \|a 1171633167 \|a 1228547074 \|a 1241756839 \|a 1259085671
020			\|a 9780511342738 \|q (electronic bk.)
020			\|a 051134273X \|q (electronic bk.)
020			\|a 0511341687
020			\|a 9780511341687
020			\|a 9780511619243 \|q (ebook)
020			\|a 0511619243 \|q (ebook)
020			\|a 1107185238
020			\|a 9781107185234
020			\|a 1281085316
020			\|a 9781281085313
020			\|a 9786611085315
020			\|a 6611085319
020			\|a 0511342209
020			\|a 9780511342202
020			\|a 0511341105
020			\|a 9780511341106
020			\|a 0511556837
020			\|a 9780511556838
020			\|z 9780521882194 \|q (hbk.)
020			\|z 0521882192 \|q (hbk.)
020			\|z 9780521708777 \|q (pbk.)
020			\|z 052170877X \|q (pbk.)
035			\|a (OCoLC)181380147 \|z (OCoLC)191727788 \|z (OCoLC)519719498 \|z (OCoLC)647687077 \|z (OCoLC)667099587 \|z (OCoLC)778813764 \|z (OCoLC)781393011 \|z (OCoLC)815536469 \|z (OCoLC)819627018 \|z (OCoLC)957741419 \|z (OCoLC)958086237 \|z (OCoLC)993296937 \|z (OCoLC)1000198160 \|z (OCoLC)1007564346 \|z (OCoLC)1029499592 \|z (OCoLC)1035656427 \|z (OCoLC)1037742546 \|z (OCoLC)1038591582 \|z (OCoLC)1055384398 \|z (OCoLC)1058528644 \|z (OCoLC)1066614762 \|z (OCoLC)1076313422 \|z (OCoLC)1153459128 \|z (OCoLC)1162554735 \|z (OCoLC)1171252989 \|z (OCoLC)1171633167 \|z (OCoLC)1228547074 \|z (OCoLC)1241756839 \|z (OCoLC)1259085671
050		4	\|a QA9 \|b .L32 2007eb
072		7	\|a MAT \|x 016000 \|2 bisacsh
072		7	\|a MAT \|x 018000 \|2 bisacsh
082	7		\|a 511.3 \|2 22
084			\|a CC 2600 \|2 rvk
084			\|a SK 130 \|2 rvk
049			\|a MAIN
100	1		\|a Kaye, Richard \|q (Richard W.) \|1 https://id.oclc.org/worldcat/entity/E39PCjHjRbDFtyp3RXFxCXmGHC \|0 http://id.loc.gov/authorities/names/n94052175
245	1	4	\|a The mathematics of logic : \|b a guide to completeness theorems and their applications / \|c Richard W. Kaye.
260			\|a Cambridge : \|b Cambridge University Press, \|c 2007.
300			\|a 1 online resource (xi, 204 pages :)
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
347			\|a data file
500			\|a Includes index.
588	0		\|a Print version record.
504			\|a Includes bibliographical references (page 199) and index.
505	0		\|a Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index.
520			\|a This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.
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 MATHEMATICS \|x Infinity. \|2 bisacsh
650		7	\|a MATHEMATICS \|x Logic. \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
650		7	\|a Mathematische Logik \|2 gnd \|0 http://d-nb.info/gnd/4037951-6
758			\|i has work: \|a The mathematics of logic (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCFPVxp6T4QpqX7VDVcjKkC \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|a Kaye, Richard (Richard W.). \|t Mathematics of logic. \|d Cambridge : Cambridge University Press, 2007 \|z 9780521882194 \|z 0521882192 \|w (OCoLC)149011791
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=206648 \|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=206648 \|3 Volltext
938			\|a Askews and Holts Library Services \|b ASKH \|n AH13427329
938			\|a Askews and Holts Library Services \|b ASKH \|n AH37560158
938			\|a EBL - Ebook Library \|b EBLB \|n EBL325984
938			\|a ebrary \|b EBRY \|n ebr10202810
938			\|a EBSCOhost \|b EBSC \|n 206648
938			\|a ProQuest MyiLibrary Digital eBook Collection \|b IDEB \|n 108531
938			\|a YBP Library Services \|b YANK \|n 2762702
938			\|a YBP Library Services \|b YANK \|n 2770271
938			\|a YBP Library Services \|b YANK \|n 3279338
938			\|a YBP Library Services \|b YANK \|n 2733154
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn181380147
_version_	1813903307715903488
adam_text
any_adam_object
author	Kaye, Richard (Richard W.)
author_GND	http://id.loc.gov/authorities/names/n94052175
author_facet	Kaye, Richard (Richard W.)
author_role
author_sort	Kaye, Richard
author_variant	r k rk
building	Verbundindex
bvnumber	localFWS
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9 .L32 2007eb
callnumber-search	QA9 .L32 2007eb
callnumber-sort	QA 19 L32 42007EB
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130
collection	ZDB-4-EBA
contents	Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index.
ctrlnum	(OCoLC)181380147
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 Philosophie
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05173cam a2200913 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn181380147</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">071116s2007 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">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NRU</subfield><subfield code="d">AUD</subfield><subfield code="d">OCLCO</subfield><subfield code="d">E7B</subfield><subfield code="d">AZU</subfield><subfield code="d">REDDC</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">COO</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">I9W</subfield><subfield code="d">EUX</subfield><subfield code="d">FTUBL</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COCUF</subfield><subfield code="d">CNNOR</subfield><subfield code="d">LOA</subfield><subfield code="d">MERUC</subfield><subfield code="d">ZCU</subfield><subfield code="d">X#7</subfield><subfield code="d">ICG</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">HEBIS</subfield><subfield code="d">STF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">D6H</subfield><subfield code="d">UAB</subfield><subfield code="d">WRM</subfield><subfield code="d">WCO</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">A6Q</subfield><subfield code="d">LVT</subfield><subfield code="d">TKN</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OL$</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">UKAHL</subfield><subfield code="d">AJS</subfield><subfield code="d">LUN</subfield><subfield code="d">OCLCO</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">GBA752063</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">013784655</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">191727788</subfield><subfield code="a">519719498</subfield><subfield code="a">647687077</subfield><subfield code="a">667099587</subfield><subfield code="a">778813764</subfield><subfield code="a">781393011</subfield><subfield code="a">815536469</subfield><subfield code="a">819627018</subfield><subfield code="a">957741419</subfield><subfield code="a">958086237</subfield><subfield code="a">993296937</subfield><subfield code="a">1000198160</subfield><subfield code="a">1007564346</subfield><subfield code="a">1029499592</subfield><subfield code="a">1035656427</subfield><subfield code="a">1037742546</subfield><subfield code="a">1038591582</subfield><subfield code="a">1055384398</subfield><subfield code="a">1058528644</subfield><subfield code="a">1066614762</subfield><subfield code="a">1076313422</subfield><subfield code="a">1153459128</subfield><subfield code="a">1162554735</subfield><subfield code="a">1171252989</subfield><subfield code="a">1171633167</subfield><subfield code="a">1228547074</subfield><subfield code="a">1241756839</subfield><subfield code="a">1259085671</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511342738</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">051134273X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511341687</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511341687</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511619243</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511619243</subfield><subfield code="q">(ebook)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107185238</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107185234</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281085316</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281085313</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611085315</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611085319</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511342209</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511342202</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511341105</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511341106</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511556837</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511556838</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521882194</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521882192</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521708777</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">052170877X</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181380147</subfield><subfield code="z">(OCoLC)191727788</subfield><subfield code="z">(OCoLC)519719498</subfield><subfield code="z">(OCoLC)647687077</subfield><subfield code="z">(OCoLC)667099587</subfield><subfield code="z">(OCoLC)778813764</subfield><subfield code="z">(OCoLC)781393011</subfield><subfield code="z">(OCoLC)815536469</subfield><subfield code="z">(OCoLC)819627018</subfield><subfield code="z">(OCoLC)957741419</subfield><subfield code="z">(OCoLC)958086237</subfield><subfield code="z">(OCoLC)993296937</subfield><subfield code="z">(OCoLC)1000198160</subfield><subfield code="z">(OCoLC)1007564346</subfield><subfield code="z">(OCoLC)1029499592</subfield><subfield code="z">(OCoLC)1035656427</subfield><subfield code="z">(OCoLC)1037742546</subfield><subfield code="z">(OCoLC)1038591582</subfield><subfield code="z">(OCoLC)1055384398</subfield><subfield code="z">(OCoLC)1058528644</subfield><subfield code="z">(OCoLC)1066614762</subfield><subfield code="z">(OCoLC)1076313422</subfield><subfield code="z">(OCoLC)1153459128</subfield><subfield code="z">(OCoLC)1162554735</subfield><subfield code="z">(OCoLC)1171252989</subfield><subfield code="z">(OCoLC)1171633167</subfield><subfield code="z">(OCoLC)1228547074</subfield><subfield code="z">(OCoLC)1241756839</subfield><subfield code="z">(OCoLC)1259085671</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield><subfield code="b">.L32 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="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kaye, Richard</subfield><subfield code="q">(Richard W.)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHjRbDFtyp3RXFxCXmGHC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94052175</subfield></datafield><datafield tag="245" ind1="1" ind2="4"><subfield code="a">The mathematics of logic :</subfield><subfield code="b">a guide to completeness theorems and their applications /</subfield><subfield code="c">Richard W. Kaye.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">2007.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 204 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="347" ind1=" " ind2=" "><subfield code="a">data file</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="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (page 199) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications.</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">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="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">gnd</subfield><subfield code="0">http://d-nb.info/gnd/4037951-6</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">The mathematics of logic (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFPVxp6T4QpqX7VDVcjKkC</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">Kaye, Richard (Richard W.).</subfield><subfield code="t">Mathematics of logic.</subfield><subfield code="d">Cambridge : Cambridge University Press, 2007</subfield><subfield code="z">9780521882194</subfield><subfield code="z">0521882192</subfield><subfield code="w">(OCoLC)149011791</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=206648</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=206648</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH13427329</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH37560158</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL325984</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10202810</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">206648</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">108531</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2762702</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2770271</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3279338</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2733154</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-ocn181380147
illustrated	Illustrated
indexdate	2024-10-25T16:16:36Z
institution	BVB
isbn	9780511342738 051134273X 0511341687 9780511341687 9780511619243 0511619243 1107185238 9781107185234 1281085316 9781281085313 9786611085315 6611085319 0511342209 9780511342202 0511341105 9780511341106 0511556837 9780511556838
language	English
oclc_num	181380147
open_access_boolean
owner	MAIN
owner_facet	MAIN
physical	1 online resource (xi, 204 pages :)
psigel	ZDB-4-EBA
publishDate	2007
publishDateSearch	2007
publishDateSort	2007
publisher	Cambridge University Press,
record_format	marc
spelling	Kaye, Richard (Richard W.) https://id.oclc.org/worldcat/entity/E39PCjHjRbDFtyp3RXFxCXmGHC http://id.loc.gov/authorities/names/n94052175 The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye. Cambridge : Cambridge University Press, 2007. 1 online resource (xi, 204 pages :) text txt rdacontent computer c rdamedia online resource cr rdacarrier data file Includes index. Print version record. Includes bibliographical references (page 199) and index. Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; Index. This textbook rescues students from traditional, dry and uninspiring introductory courses in logic, quickly providing context using genuine mathematical applications. English. 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 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6 has work: The mathematics of logic (Text) https://id.oclc.org/worldcat/entity/E39PCFPVxp6T4QpqX7VDVcjKkC https://id.oclc.org/worldcat/ontology/hasWork Print version: Kaye, Richard (Richard W.). Mathematics of logic. Cambridge : Cambridge University Press, 2007 9780521882194 0521882192 (OCoLC)149011791 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=206648 Volltext CBO01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=206648 Volltext
spellingShingle	Kaye, Richard (Richard W.) The mathematics of logic : a guide to completeness theorems and their applications / Cover; Half-Title; Title; Copyright; Contents; Preface; How to read this book; 1 König's Lemma; 2 Posets and maximal elements; 3 Formal systems; 4 Deductions in posets; 5 Boolean algebras; 6 Propositional logic; 7 Valuations; 8 Filters and ideals; 9 First-order logic; 10 Completeness and compactness; 11 Model theory; 12 Nonstandard analysis; References; 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 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115 http://d-nb.info/gnd/4037951-6
title	The mathematics of logic : a guide to completeness theorems and their applications /
title_auth	The mathematics of logic : a guide to completeness theorems and their applications /
title_exact_search	The mathematics of logic : a guide to completeness theorems and their applications /
title_full	The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
title_fullStr	The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
title_full_unstemmed	The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
title_short	The mathematics of logic :
title_sort	mathematics of logic a guide to completeness theorems and their applications
title_sub	a guide to completeness theorems and their applications /
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 Mathematische Logik gnd http://d-nb.info/gnd/4037951-6
topic_facet	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS Infinity. MATHEMATICS Logic. Logic, Symbolic and mathematical Mathematische Logik
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=206648
work_keys_str_mv	AT kayerichard themathematicsoflogicaguidetocompletenesstheoremsandtheirapplications AT kayerichard mathematicsoflogicaguidetocompletenesstheoremsandtheirapplications

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