A. S. Troelstra

No counted ratings yet

2 books

Books

Sorted by popularity.

Basic proof theoryA. S. Troelstra
Basic proof theory
A. S. Troelstra · 1996 · 417 pages
Want to read
Constructivism in mathematicsA. S. Troelstra
Constructivism in mathematics
A. S. Troelstra · 1988 · 879 pages
Want to read

No biography yet.