English
Unordered
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer
1993
View book
Discover references
Peter Aczel, Harold Simmons, Stanley S. Wainer