Verfügbarkeit: Simple Type Theory | Technische Universität München

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Farmer, William M. 19XX- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing 2023 Cham Birkhäuser
Ausgabe:	1st ed. 2023
Schriftenreihe:	Computer Science Foundations and Applied Logic
Schlagwörter:	Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory Computer science Mathematical logic Computational complexity Reasoning Set theory Metamathematik Logik Mathematik
Links:	https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6 https://doi.org/10.1007/978-3-031-21112-6
Umfang:	1 Online-Ressource (XIV, 295 p. 10 illus., 3 illus. in color)
ISBN:	9783031211126
ISSN:	2731-5762
DOI:	10.1007/978-3-031-21112-6

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV048688303
003	DE-604
005	20230227
007	cr\|uuu---uuuuu
008	230202s2023 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9783031211126 \|c Online \|9 978-3-031-21112-6
024	7		\|a 10.1007/978-3-031-21112-6 \|2 doi
035			\|a (ZDB-2-SCS)9783031211126
035			\|a (OCoLC)1369565349
035			\|a (DE-599)BVBBV048688303
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-1049 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-355 \|a DE-824 \|a DE-522 \|a DE-384 \|a DE-M347 \|a DE-573 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634
082	0		\|a 004.0151 \|2 23
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a DAT 000 \|2 stub
100	1		\|a Farmer, William M. \|d 19XX- \|e Verfasser \|0 (DE-588)1281973637 \|4 aut
245	1	0	\|a Simple Type Theory \|b A Practical Logic for Expressing and Reasoning About Mathematical Ideas \|c by William M. Farmer
250			\|a 1st ed. 2023
264		1	\|a Cham \|b Springer International Publishing \|c 2023
264		1	\|a Cham \|b Birkhäuser
300			\|a 1 Online-Ressource (XIV, 295 p. 10 illus., 3 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Computer Science Foundations and Applied Logic \|x 2731-5762
650		4	\|a Computer Science Logic and Foundations of Programming
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Computational Complexity
650		4	\|a Formal Reasoning
650		4	\|a Set Theory
650		4	\|a Computer science
650		4	\|a Mathematical logic
650		4	\|a Computational complexity
650		4	\|a Reasoning
650		4	\|a Set theory
650	0	7	\|a Metamathematik \|0 (DE-588)4074759-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0	1	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	0	2	\|a Metamathematik \|0 (DE-588)4074759-1 \|D s
689	0		\|5 DE-604
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-21111-9
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-21113-3
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-031-21114-0
856	4	0	\|u https://doi.org/10.1007/978-3-031-21112-6 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2023
943	1		\|a oai:aleph.bib-bvb.de:BVB01-034062550
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-522 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-634 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-858 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-Aug4 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-1050 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-573 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-M347 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-92 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-898 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-859 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-860 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-1049 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-861 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-863 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-862 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-384 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-473 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-19 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-703 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-20 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-706 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-824 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-29 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-031-21112-6 \|l DE-739 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820981433415499776
adam_text
any_adam_object
author	Farmer, William M. 19XX-
author_GND	(DE-588)1281973637
author_facet	Farmer, William M. 19XX-
author_role	aut
author_sort	Farmer, William M. 19XX-
author_variant	w m f wm wmf
building	Verbundindex
bvnumber	BV048688303
classification_rvk	SK 130
classification_tum	DAT 000
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783031211126 (OCoLC)1369565349 (DE-599)BVBBV048688303
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-031-21112-6
edition	1st ed. 2023
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV048688303</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230227</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">230202s2023 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031211126</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-031-21112-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-031-21112-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783031211126</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1369565349</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048688303</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-522</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Farmer, William M.</subfield><subfield code="d">19XX-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1281973637</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Simple Type Theory</subfield><subfield code="b">A Practical Logic for Expressing and Reasoning About Mathematical Ideas</subfield><subfield code="c">by William M. Farmer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2023</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Birkhäuser</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 295 p. 10 illus., 3 illus. in color)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Computer Science Foundations and Applied Logic</subfield><subfield code="x">2731-5762</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science Logic and Foundations of Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Set theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-21111-9</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-21113-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-031-21114-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2023</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034062550</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-522</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-573</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-863</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-862</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-523</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-031-21112-6</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV048688303
illustrated	Not Illustrated
indexdate	2025-01-11T19:20:23Z
institution	BVB
isbn	9783031211126
issn	2731-5762
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-034062550
oclc_num	1369565349
open_access_boolean
owner	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
owner_facet	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-1049 DE-859 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-355 DE-BY-UBR DE-824 DE-522 DE-384 DE-M347 DE-573 DE-703 DE-706 DE-739 DE-634
physical	1 Online-Ressource (XIV, 295 p. 10 illus., 3 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2023
publishDate	2023
publishDateSearch	2023
publishDateSort	2023
publisher	Springer International Publishing Birkhäuser
record_format	marc
series2	Computer Science Foundations and Applied Logic
spelling	Farmer, William M. 19XX- Verfasser (DE-588)1281973637 aut Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer 1st ed. 2023 Cham Springer International Publishing 2023 Cham Birkhäuser 1 Online-Ressource (XIV, 295 p. 10 illus., 3 illus. in color) txt rdacontent c rdamedia cr rdacarrier Computer Science Foundations and Applied Logic 2731-5762 Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory Computer science Mathematical logic Computational complexity Reasoning Set theory Metamathematik (DE-588)4074759-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s Metamathematik (DE-588)4074759-1 s DE-604 Erscheint auch als Druck-Ausgabe 978-3-031-21111-9 Erscheint auch als Druck-Ausgabe 978-3-031-21113-3 Erscheint auch als Druck-Ausgabe 978-3-031-21114-0 https://doi.org/10.1007/978-3-031-21112-6 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Farmer, William M. 19XX- Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory Computer science Mathematical logic Computational complexity Reasoning Set theory Metamathematik (DE-588)4074759-1 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd
subject_GND	(DE-588)4074759-1 (DE-588)4036202-4 (DE-588)4037944-9
title	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
title_auth	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
title_exact_search	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
title_full	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer
title_fullStr	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer
title_full_unstemmed	Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas by William M. Farmer
title_short	Simple Type Theory
title_sort	simple type theory a practical logic for expressing and reasoning about mathematical ideas
title_sub	A Practical Logic for Expressing and Reasoning About Mathematical Ideas
topic	Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory Computer science Mathematical logic Computational complexity Reasoning Set theory Metamathematik (DE-588)4074759-1 gnd Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd
topic_facet	Computer Science Logic and Foundations of Programming Mathematical Logic and Foundations Computational Complexity Formal Reasoning Set Theory Computer science Mathematical logic Computational complexity Reasoning Set theory Metamathematik Logik Mathematik
url	https://doi.org/10.1007/978-3-031-21112-6
work_keys_str_mv	AT farmerwilliamm simpletypetheoryapracticallogicforexpressingandreasoningaboutmathematicalideas

Verfügbarkeit

‌

Online lesen