Proofs and Computations Schwichtenberg, Helmut Wainer, Stanley S. 9780521517690 Perspectives in Logic Innbundet 15.12.2011 Engelsk Produseres på bestilling
Proof Theory : A selection of papers from the Leeds Proof Theory Programme 1990 Simmons, Harold Wainer, Stanley S. Aczel, Peter 9780521054164 Heftet 21.01.2008 Engelsk Produseres på bestilling
Proof Theory : A selection of papers from the Leeds Proof Theory Programme 1990 Simmons, Harold Wainer, Stanley S. Aczel, Peter 9780521414135 Innbundet 11.02.1993 Engelsk Produseres på bestilling