Foundations of Mathematics

Erwin Engeler
Additional contact information
Erwin Engeler: ETH-Zentrum, Mathematikdepartment

in Springer Books from Springer

Date: 1993
ISBN: 978-3-642-78052-3
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Ch § 1 What is an Algorithm?

Erwin Engeler

Ch § 1 Space and Mathematics

Erwin Engeler

Ch § 1 What Are the Real Numbers?

Erwin Engeler

Ch § 2 Axiomatization by Means of Coordinates

Erwin Engeler

Ch § 2 The Existence of Combinatory Algebras: Combinatory Logic

Erwin Engeler

Ch § 2 Language as Part of Mathematics

Erwin Engeler

Ch § 3 Elementary Theory of Real Numbers

Erwin Engeler

Ch § 3 Metatheoretical Questions and Methods in Elementary Geometry

Erwin Engeler

Ch § 3 Concrete Combinatory Algebras

Erwin Engeler

Ch § 4 Lambda Calculus

Erwin Engeler

Ch § 4 Non-Standard Analysis

Erwin Engeler

Ch § 4 Geometric Constructions

Erwin Engeler

Ch § 5 Computability and Combinators

Erwin Engeler

Ch § 5 Axiom of Choice and Continuum Hypothesis

Erwin Engeler

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-642-78052-3

Ordering information: This item can be ordered from
http://www.springer.com/9783642780523

DOI: 10.1007/978-3-642-78052-3

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().