Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Posted By: leonardo78

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 by Peter Aczel, Harold Simmons, Stanley S. Wainer
Publisher: Cambridge University Press | 1993 | ISBN: 052141413X | 320 pages | PDF | 9,4 MB