Holdings: Mathematical logic :: THWS Bibkatalog

Mathematical logic: foundations for information science

Saved in:

Bibliographic Details
Main Author:	Li, Wei 1943- (Author)
Format:	Electronic eBook
Language:	English
Published:	Basel [u.a.] Birkhäuser Springer 2014
Edition:	2., rev. ed.
Series:	Progress in computer science and applied logic 25
Subjects:	Mathematische Logik Electronic book text
Online Access:	DE-634 DE-861 DE-91 DE-384 DE-19 DE-703 DE-20 DE-739 Volltext Inhaltsverzeichnis Abstract
Physical Description:	1 Online-Ressource
ISBN:	9783034808613 9783034808620
DOI:	10.1007/978-3-0348-0862-0

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV042216556
003	DE-604
007	cr\|uuu---uuuuu
008	141201s2014 xx o\|\|\|\| 00\|\|\| eng d
015			\|a 14,O12 \|2 dnb
016	7		\|a 1060599279 \|2 DE-101
020			\|a 9783034808613 \|9 978-3-0348-0861-3
020			\|a 9783034808620 \|c Online \|9 978-3-0348-0862-0
024	7		\|a 10.1007/978-3-0348-0862-0 \|2 doi
024	3		\|a 9783034808620
035			\|a (OCoLC)897832333
035			\|a (DE-599)DNB1060599279
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-703 \|a DE-91 \|a DE-739 \|a DE-20 \|a DE-19 \|a DE-634 \|a DE-861 \|a DE-384 \|a DE-83
082	0		\|a 511.3024004 \|2 22/ger
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 000 \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 540f \|2 stub
084			\|a 510 \|2 sdnb
100	1		\|a Li, Wei \|d 1943- \|e Verfasser \|0 (DE-588)1062904451 \|4 aut
245	1	0	\|a Mathematical logic \|b foundations for information science \|c Wei Li
250			\|a 2., rev. ed.
264		1	\|a Basel [u.a.] \|b Birkhäuser Springer \|c 2014
300			\|a 1 Online-Ressource
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Progress in computer science and applied logic \|v 25
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
653			\|a Electronic book text
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
830		0	\|a Progress in computer science and applied logic \|v 25 \|w (DE-604)BV042031016 \|9 25
856	4	0	\|u https://doi.org/10.1007/978-3-0348-0862-0 \|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=027655147&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=027655147&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-027655147
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-634 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-861 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-91 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-384 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-19 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-703 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-20 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-0348-0862-0 \|l DE-739 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1818043359060557824
adam_text	MATHEMATICAL LOGIC / LI, WEI : 2014 TABLE OF CONTENTS / INHALTSVERZEICHNIS PREFACE PREFACE TO THE SECOND EDITION I ELEMENTS OF MATHEMATICAL LOGIC 1 SYNTAX OF FIRST-ORDER LANGUAGES 2 MODELS OF FIRST-ORDER LANGUAGES 3 FORMAL INFERENCE SYSTEMS 4 COMPUTABILITY & REPRESENTABILITY 5 GOEDEL THEOREMS II LOGICAL FRAMEWORK OF SCIENTIFIC DISCOVERY 6 SEQUENCES OF FORMAL THEORIES 7 REVISION CALCULUS 8 VERSION SEQUENCES 9 INDUCTIVE INFERENCE 10 META-LANGUAGE ENVIRONMENTS APPENDIX 1 SETS AND MAPS APPENDIX 2 PROOF OF THE REPRESENTABILITY THEOREM BIBLIOGRAPHY INDEX DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. MATHEMATICAL LOGIC / LI, WEI : 2014 ABSTRACT / INHALTSTEXT MATHEMATICAL LOGIC IS A BRANCH OF MATHEMATICS THAT TAKES AXIOM SYSTEMS AND MATHEMATICAL PROOFS AS ITS OBJECTS OF STUDY. THIS BOOK SHOWS HOW IT CAN ALSO PROVIDE A FOUNDATION FOR THE DEVELOPMENT OF INFORMATION SCIENCE AND TECHNOLOGY. THE FIRST FIVE CHAPTERS SYSTEMATICALLY PRESENT THE CORE TOPICS OF CLASSICAL MATHEMATICAL LOGIC, INCLUDING THE SYNTAX AND MODELS OF FIRST-ORDER LANGUAGES, FORMAL INFERENCE SYSTEMS, COMPUTABILITY AND REPRESENTABILITY, AND GOEDEL’S THEOREMS. THE LAST FIVE CHAPTERS PRESENT EXTENSIONS AND DEVELOPMENTS OF CLASSICAL MATHEMATICAL LOGIC, PARTICULARLY THE CONCEPTS OF VERSION SEQUENCES OF FORMAL THEORIES AND THEIR LIMITS, THE SYSTEM OF REVISION CALCULUS, PROSCHEMES (FORMAL DESCRIPTIONS OF PROOF METHODS AND STRATEGIES) AND THEIR PROPERTIES, AND THE THEORY OF INDUCTIVE INFERENCE. ALL OF THESE THEMES CONTRIBUTE TO A FORMAL THEORY OF AXIOMATIZATION AND ITS APPLICATION TO THE PROCESS OF DEVELOPING INFORMATION TECHNOLOGY AND SCIENTIFIC THEORIES. THE BOOK ALSO DESCRIBES THE PARADIGM OF THREE KINDS OF LANGUAGE ENVIRONMENTS FOR THEORIES AND IT PRESENTS THE BASIC PROPERTIES REQUIRED OF A META-LANGUAGE ENVIRONMENT. FINALLY, THE BOOK BRINGS THESE THEMES TOGETHER BY DESCRIBING A WORKFLOW FOR SCIENTIFIC RESEARCH IN THE INFORMATION ERA IN WHICH FORMAL METHODS, INTERACTIVE SOFTWARE AND HUMAN INVENTION ARE ALL USED TO THEIR ADVANTAGE. THE SECOND EDITION OF THE BOOK INCLUDES MAJOR REVISIONS ON THE PROOF OF THE COMPLETENESS THEOREM OF THE GENTZEN SYSTEM AND NEW CONTENTS ON THE LOGIC OF SCIENTIFIC DISCOVERY, R-CALCULUS WITHOUT CUT, AND THE OPERATIONAL SEMANTICS OF PROGRAM DEBUGGING. THIS BOOK REPRESENTS A VALUABLE REFERENCE FOR GRADUATE AND UNDERGRADUATE STUDENTS AND RESEARCHERS IN MATHEMATICS, INFORMATION SCIENCE AND TECHNOLOGY, AND OTHER RELEVANT AREAS OF NATURAL SCIENCES. ITS FIRST FIVE CHAPTERS SERVE AS AN UNDERGRADUATE TEXT IN MATHEMATICAL LOGIC AND THE LAST FIVE CHAPTERS ARE ADDRESSED TO GRADUATE STUDENTS IN RELEVANT DISCIPLINES DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	Li, Wei 1943-
author_GND	(DE-588)1062904451
author_facet	Li, Wei 1943-
author_role	aut
author_sort	Li, Wei 1943-
author_variant	w l wl
building	Verbundindex
bvnumber	BV042216556
classification_rvk	SK 130
classification_tum	MAT 000 DAT 540f
collection	ZDB-2-SMA
ctrlnum	(OCoLC)897832333 (DE-599)DNB1060599279
dewey-full	511.3024004
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3024004
dewey-search	511.3024004
dewey-sort	3511.3024004
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-0348-0862-0
edition	2., rev. ed.
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV042216556</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">141201s2014 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,O12</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1060599279</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034808613</subfield><subfield code="9">978-3-0348-0861-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783034808620</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-0348-0862-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-0348-0862-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783034808620</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897832333</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1060599279</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-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3024004</subfield><subfield code="2">22/ger</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="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Li, Wei</subfield><subfield code="d">1943-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1062904451</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical logic</subfield><subfield code="b">foundations for information science</subfield><subfield code="c">Wei Li</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2., rev. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Basel [u.a.]</subfield><subfield code="b">Birkhäuser Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="1" ind2=" "><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">25</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="653" ind1=" " ind2=" "><subfield code="a">Electronic book text</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="830" ind1=" " ind2="0"><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">25</subfield><subfield code="w">(DE-604)BV042031016</subfield><subfield code="9">25</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</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=027655147&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=027655147&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-027655147</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-0348-0862-0</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-3-0348-0862-0</subfield><subfield code="l">DE-861</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-3-0348-0862-0</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-3-0348-0862-0</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-3-0348-0862-0</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-3-0348-0862-0</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-3-0348-0862-0</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-3-0348-0862-0</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>
id	DE-604.BV042216556
illustrated	Not Illustrated
indexdate	2024-12-10T09:00:57Z
institution	BVB
isbn	9783034808613 9783034808620
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027655147
oclc_num	897832333
open_access_boolean
owner	DE-703 DE-91 DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-861 DE-384 DE-83
owner_facet	DE-703 DE-91 DE-BY-TUM DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-861 DE-384 DE-83
physical	1 Online-Ressource
psigel	ZDB-2-SMA
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Birkhäuser Springer
record_format	marc
series	Progress in computer science and applied logic
series2	Progress in computer science and applied logic
spelling	Li, Wei 1943- Verfasser (DE-588)1062904451 aut Mathematical logic foundations for information science Wei Li 2., rev. ed. Basel [u.a.] Birkhäuser Springer 2014 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Progress in computer science and applied logic 25 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Electronic book text Mathematische Logik (DE-588)4037951-6 s DE-604 Progress in computer science and applied logic 25 (DE-604)BV042031016 25 https://doi.org/10.1007/978-3-0348-0862-0 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Li, Wei 1943- Mathematical logic foundations for information science Progress in computer science and applied logic Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6
title	Mathematical logic foundations for information science
title_auth	Mathematical logic foundations for information science
title_exact_search	Mathematical logic foundations for information science
title_full	Mathematical logic foundations for information science Wei Li
title_fullStr	Mathematical logic foundations for information science Wei Li
title_full_unstemmed	Mathematical logic foundations for information science Wei Li
title_short	Mathematical logic
title_sort	mathematical logic foundations for information science
title_sub	foundations for information science
topic	Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Mathematische Logik
url	https://doi.org/10.1007/978-3-0348-0862-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027655147&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=027655147&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV042031016
work_keys_str_mv	AT liwei mathematicallogicfoundationsforinformationscience

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items