Availability: Logic and structure | Technische Universität München

Logic and structure:

Saved in:

Bibliographic Details
Main Author:	Dalen, Dirk van 1932- (Author)
Format:	Electronic eBook
Language:	English
Published:	London [u.a.] Springer 2013
Edition:	5. ed.
Series:	Universitext
Subjects:	Mathematische Logik Lehrbuch
Links:	https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 https://doi.org/10.1007/978-1-4471-4558-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	1 Online-Ressource (X, 263 S.) graph. Darst.
ISBN:	9781447145578 9781447145585
DOI:	10.1007/978-1-4471-4558-5

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV040728088
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	130206s2013 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9781447145578 \|9 978-1-4471-4557-8
020			\|a 9781447145585 \|c Online \|9 978-1-4471-4558-5
024	7		\|a 10.1007/978-1-4471-4558-5 \|2 doi
035			\|a (OCoLC)824650576
035			\|a (DE-599)BVBBV040728088
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-634 \|a DE-20 \|a DE-703 \|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-83
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 000 \|2 stub
100	1		\|a Dalen, Dirk van \|d 1932- \|e Verfasser \|0 (DE-588)133205053 \|4 aut
245	1	0	\|a Logic and structure \|c Dirk van Dalen
250			\|a 5. ed.
264		1	\|a London [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (X, 263 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Universitext
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
856	4	0	\|u https://doi.org/10.1007/978-1-4471-4558-5 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SMA
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025708193
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-634 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-91 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-384 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-19 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-703 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-20 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-1-4471-4558-5 \|l DE-739 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-TUM_katkey	1909190
_version_	1821935095040180224
adam_text	LOGIC AND STRUCTURE / DALEN, DIRK VAN : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS INTRODUCTION PROPOSITIONAL LOGIC PREDICATE LOGIC COMPLETENESS AND APPLICATIONS SECOND ORDER LOGIC INTUITIONISTIC LOGIC NORMALIZATION GOEDEL S THEOREM DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. LOGIC AND STRUCTURE / DALEN, DIRK VAN : 2013 ABSTRACT / INHALTSTEXT DIRK VAN DALEN’S POPULAR TEXTBOOK LOGIC AND STRUCTURE, NOW IN ITS FIFTH EDITION, PROVIDES A COMPREHENSIVE INTRODUCTION TO THE BASICS OF CLASSICAL AND INTUITIONISTIC LOGIC, MODEL THEORY AND GOEDEL’S FAMOUS INCOMPLETENESS THEOREM. PROPOSITIONAL AND PREDICATE LOGIC ARE PRESENTED IN AN EASY-TO-READ STYLE USING GENTZEN’S NATURAL DEDUCTION. THE BOOK PROCEEDS WITH SOME BASIC CONCEPTS AND FACTS OF MODEL THEORY: A DISCUSSION ON COMPACTNESS, SKOLEM-LOEWENHEIM, NON-STANDARD MODELS AND QUANTIFIER ELIMINATION. THE DISCUSSION OF CLASSICAL LOGIC IS CONCLUDED WITH A CONCISE EXPOSITION OF SECOND-ORDER LOGIC. IN VIEW OF THE GROWING RECOGNITION OF CONSTRUCTIVE METHODS AND PRINCIPLES, INTUITIONISTIC LOGIC AND KRIPKE SEMANTICS IS CAREFULLY EXPLORED. A NUMBER OF SPECIFIC CONSTRUCTIVE FEATURES, SUCH AS APARTNESS AND EQUALITY, THE GOEDEL TRANSLATION, THE DISJUNCTION AND EXISTENCE PROPERTY ARE ALSO INCLUDED. THE LAST CHAPTER ON GOEDEL S FIRST INCOMPLETENESS THEOREM IS SELF-CONTAINED AND PROVIDES A SYSTEMATIC EXPOSITION OF THE NECESSARY RECURSION THEORY. THIS NEW EDITION HAS BEEN PROPERLY REVISED AND CONTAINS A NEW SECTION ON ULTRA-PRODUCTS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Dalen, Dirk van 1932-
author_GND	(DE-588)133205053
author_facet	Dalen, Dirk van 1932-
author_role	aut
author_sort	Dalen, Dirk van 1932-
author_variant	d v d dv dvd
building	Verbundindex
bvnumber	BV040728088
classification_rvk	SK 130
classification_tum	MAT 000
collection	ZDB-2-SMA
ctrlnum	(OCoLC)824650576 (DE-599)BVBBV040728088
discipline	Mathematik
doi_str_mv	10.1007/978-1-4471-4558-5
edition	5. ed.
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02513nam a2200505 c 4500</leader><controlfield tag="001">BV040728088</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">130206s2013 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447145578</subfield><subfield code="9">978-1-4471-4557-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781447145585</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4471-4558-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4471-4558-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)824650576</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040728088</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</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">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133205053</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and structure</subfield><subfield code="c">Dirk van Dalen</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 263 S.)</subfield><subfield code="b">graph. Darst.</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">Universitext</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4471-4558-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025708193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025708193&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025708193</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4471-4558-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SMA</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-1-4471-4558-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Lehrbuch
id	DE-604.BV040728088
illustrated	Illustrated
indexdate	2024-12-20T16:24:22Z
institution	BVB
isbn	9781447145578 9781447145585
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025708193
oclc_num	824650576
open_access_boolean
owner	DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83
owner_facet	DE-634 DE-20 DE-703 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384 DE-83
physical	1 Online-Ressource (X, 263 S.) graph. Darst.
psigel	ZDB-2-SMA
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series2	Universitext
spellingShingle	Dalen, Dirk van 1932- Logic and structure Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4123623-3
title	Logic and structure
title_auth	Logic and structure
title_exact_search	Logic and structure
title_full	Logic and structure Dirk van Dalen
title_fullStr	Logic and structure Dirk van Dalen
title_full_unstemmed	Logic and structure Dirk van Dalen
title_short	Logic and structure
title_sort	logic and structure
topic	Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Mathematische Logik Lehrbuch
url	https://doi.org/10.1007/978-1-4471-4558-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025708193&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT dalendirkvan logicandstructure

Availability

Order (Login required)

Read online
Table of Contents