Overview

Authors:

Heinrich Scholz
1. Mathematischen Logik und Grundlagenforchung, Universität Münster I. W., Deutschland
View author publications

You can also search for this author in PubMed Google Scholar
Gisbert Hasenjaeger
1. Mathematischen Logik und Grundlagenforchung, Universität Münster I. W., Deutschland
View author publications

You can also search for this author in PubMed Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 59.99

Price excludes VAT (USA)

Softcover Book USD 79.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Front Matter

Pages II-XVI

Download chapter PDF
Einleitung
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 1-42
Aussagenkalkül
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 43-124
Prädikatenkalkül
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 125-282
Prädikatenkalkül mit Identität (I-Kalkül)
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 283-352
Einführung in die Stufenlogik
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 352-436
Die Theoreme von Church und Gödel
- Heinrich Scholz, Gisbert Hasenjaeger
Pages 436-489
Back Matter

Pages 461-504

Download chapter PDF

Mathematischen Logik und Grundlagenforchung, Universität Münster I. W., Deutschland

Heinrich Scholz, Gisbert Hasenjaeger

Book Title: Grundzüge der Mathematischen Logik
Authors: Heinrich Scholz, Gisbert Hasenjaeger
Series Title: Grundlehren der mathematischen Wissenschaften
DOI: https://doi.org/10.1007/978-3-642-94814-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag OHG., Berlin · Göttingen · Heidelberg 1961
Softcover ISBN: 978-3-642-94815-2Published: 12 February 2012
eBook ISBN: 978-3-642-94814-5Published: 13 March 2013
Series ISSN: 0072-7830
Series E-ISSN: 2196-9701
Edition Number: 1
Number of Pages: XVI, 504
Topics: Mathematics, general