Enlarge

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990

Publication Data

Title Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
Contributors Peter Aczel, Harold Simmons, S. S. Wainer
Publisher Cambridge University Press
Publication date 1992
Publication location Cambridge
Language English

Topics

United States

Catalogue Data

OBNB ID GB9416430
ISBN 10 052141413X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 x,306 p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990. ISBN 052141413X. Published by Cambridge University Press in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.