Availability: Classical first-order logic | Technische Universität München

Classical first-order logic:

Saved in:

Bibliographic Details
Main Authors:	Shapiro, Stewart 1951- (Author), Kouri Kissel, Teresa ca. 20./21. Jh (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore Cambridge University Press 2022
Series:	Cambridge elements: philosophy and logic
Subjects:	Prädikatenlogik Stufe 1
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664548&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	71 Seiten
ISBN:	9781108987004

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV048284407
003	DE-604
005	20220831
007	t\|
008	220613s2022 xx \|\|\|\| 00\|\|\| eng d
020			\|a 9781108987004 \|c paperback \|9 978-1-108-98700-4
035			\|a (OCoLC)1334025786
035			\|a (DE-599)BVBBV048284407
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-20 \|a DE-19 \|a DE-12
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
100	1		\|a Shapiro, Stewart \|d 1951- \|e Verfasser \|0 (DE-588)131540564 \|4 aut
245	1	0	\|a Classical first-order logic \|c Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University)
264		1	\|a Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore \|b Cambridge University Press \|c 2022
300			\|a 71 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Cambridge elements: philosophy and logic
650	0	7	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Stufe 1 \|0 (DE-588)4362503-4 \|2 gnd \|9 rswk-swf
689	0	0	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|D s
689	0	1	\|a Stufe 1 \|0 (DE-588)4362503-4 \|D s
689	0		\|5 DE-604
700	1		\|a Kouri Kissel, Teresa \|d ca. 20./21. Jh. \|e Verfasser \|0 (DE-588)1260680320 \|4 aut
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-1-108-98992-3
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-1-108-98200-9
856	4	2	\|m Digitalisierung BSB München - ADAM Catalogue Enrichment \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664548&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033664548

Record in the Search Index

_version_	1819301619421937664
adam_text	Contents 1 Introduction Classical First-Order Logic 1 1 2 Formai System 1 3 Language 2 4 Deduction 10 5 Model-TheoreticSemantics 16 6 Meta-theory 20 Alternatives to Classical First-Order Logic 23 7 Classical Higher-OrderLogic 23 8 Intuiționism 42 9 Paraconsistency:Demurring from ex falso quodlibet 53 10 Conclusion References 64 66
any_adam_object	1
author	Shapiro, Stewart 1951- Kouri Kissel, Teresa ca. 20./21. Jh
author_GND	(DE-588)131540564 (DE-588)1260680320
author_facet	Shapiro, Stewart 1951- Kouri Kissel, Teresa ca. 20./21. Jh
author_role	aut aut
author_sort	Shapiro, Stewart 1951-
author_variant	s s ss k t k kt ktk
building	Verbundindex
bvnumber	BV048284407
classification_rvk	CC 2500
ctrlnum	(OCoLC)1334025786 (DE-599)BVBBV048284407
discipline	Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01741nam a2200385 c 4500</leader><controlfield tag="001">BV048284407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220831 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">220613s2022 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781108987004</subfield><subfield code="c">paperback</subfield><subfield code="9">978-1-108-98700-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1334025786</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048284407</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-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shapiro, Stewart</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131540564</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Classical first-order logic</subfield><subfield code="c">Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; New York ; Port Melbourne ; New Delhi ; Singapore</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2022</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">71 Seiten</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cambridge elements: philosophy and logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kouri Kissel, Teresa</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1260680320</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-108-98992-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-1-108-98200-9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664548&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033664548</subfield></datafield></record></collection>
id	DE-604.BV048284407
illustrated	Not Illustrated
indexdate	2024-12-20T19:40:47Z
institution	BVB
isbn	9781108987004
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033664548
oclc_num	1334025786
open_access_boolean
owner	DE-20 DE-19 DE-BY-UBM DE-12
owner_facet	DE-20 DE-19 DE-BY-UBM DE-12
physical	71 Seiten
publishDate	2022
publishDateSearch	2022
publishDateSort	2022
publisher	Cambridge University Press
record_format	marc
series2	Cambridge elements: philosophy and logic
spellingShingle	Shapiro, Stewart 1951- Kouri Kissel, Teresa ca. 20./21. Jh Classical first-order logic Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd
subject_GND	(DE-588)4046974-8 (DE-588)4362503-4
title	Classical first-order logic
title_auth	Classical first-order logic
title_exact_search	Classical first-order logic
title_full	Classical first-order logic Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University)
title_fullStr	Classical first-order logic Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University)
title_full_unstemmed	Classical first-order logic Stewart Shapiro (Ohio State University), Teresa Kouri Kissel (Old Dominion University)
title_short	Classical first-order logic
title_sort	classical first order logic
topic	Prädikatenlogik (DE-588)4046974-8 gnd Stufe 1 (DE-588)4362503-4 gnd
topic_facet	Prädikatenlogik Stufe 1
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664548&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT shapirostewart classicalfirstorderlogic AT kourikisselteresa classicalfirstorderlogic

Availability

‌

Table of contents