by: Peter Aczel · Harold Simmons · Stanley S. Wainer
Hardcover
ISBN: 978-0-521-41413-5
ISBN-10: 0-521-41413-X
Cambridge University Press · 1993
|
|
by: Peter Aczel · Harold Simmons · Stanley S. WainerHardcover
ISBN: 978-0-521-41413-5 ISBN-10: 0-521-41413-X Cambridge University Press · 1993 |
| See also: | ||
| 2008 | Paperback | Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 |