A. Heyting
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryMG
Mathematische Grundlagenforschung Intuitionismus Beweistheorie
cover - Image source: Open LibrarySU
Sentences undecidable in formalized arithmetic
cover - APAxiomatic Projective GeometryA. Heyting
Axiomatic Projective Geometry
no cover - PAPhilosophy and Foundations of M...A. Heyting
Philosophy and Foundations of Mathematics
no cover - STSet TheoryA. Heyting
Set Theory
no cover - EOElements of Mathematical LogicA. Heyting
Elements of Mathematical Logic
no cover - IIntuitionismA. Heyting
Intuitionism
no cover - ASAbstract Set TheoryA. Heyting
Abstract Set Theory
no cover - CTComplete theories.A. Heyting
Complete theories
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Mathematische Grundlagenforschung Intuitionismus Beweistheorie
- Open Work
Sentences undecidable in formalized arithmetic
- Open Work
Axiomatic Projective Geometry
- Open Work
Philosophy and Foundations of Mathematics
- Open Work
Set Theory
- Open Work
Elements of Mathematical Logic
- Open Work
Intuitionism
- Open Work
Abstract Set Theory
- Open Work
Complete theories