A. S. Troelstra
A. S. Troelstra
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
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryBP
Basic proof theory
cover - Image source: Open LibraryLO
Lectures on linear logic
cover - Image source: Open LibraryCI
Constructivism in mathematics
cover - Image source: Open LibraryCS
Choice sequences
cover - Image source: Open LibraryMI
Metamathematical investigation of intuitionistic arithmetic and analysis
cover - Image source: Open LibraryPO
Principles of intuitionism
cover - BOBibliography of natural history...A. S. Troelstra
Bibliography of natural history travel narratives
no cover - CIConstructivism in Mathematics,...A. S. Troelstra
Constructivism in Mathematics, Vol 2 Vol. II
no cover - TOTijgers op de AraratA. S. Troelstra
Tijgers op de Ararat
no cover - CIConstructivism in Mathematics V...A. S. Troelstra
Constructivism in Mathematics Vol. 2
no cover - CIConstructivism in Mathematics,...A. S. Troelstra
Constructivism in Mathematics, Vol 1
no cover - LEL. E. J. Brouwer Centenary Symp...A. S. Troelstra
L. E. J. Brouwer Centenary Symposium
no cover - AFAxioms for intuitionistic mathe...A. S. Troelstra
Axioms for intuitionistic mathematics incompatible with classical logic
no cover - MIMathematical investigation of i...A. S. Troelstra
Mathematical investigation of intuitionistic arithmetic and analysis
no cover - IGIntuitionistic general topology.A. S. Troelstra
Intuitionistic general topology
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Basic proof theory
- Open Work
Lectures on linear logic
- Open Work
Constructivism in mathematics
- Open Work
Choice sequences
- Open Work
Metamathematical investigation of intuitionistic arithmetic and analysis
- Open Work
Principles of intuitionism
- Open Work
Bibliography of natural history travel narratives
- Open Work
Constructivism in Mathematics, Vol 2 Vol. II
- Open Work
Tijgers op de Ararat
- Open Work
Constructivism in Mathematics Vol. 2
- Open Work
Constructivism in Mathematics, Vol 1
- Open Work
L. E. J. Brouwer Centenary Symposium
- Open Work
Axioms for intuitionistic mathematics incompatible with classical logic
- Open Work
Mathematical investigation of intuitionistic arithmetic and analysis
- Open Work
Intuitionistic general topology