Cover Image

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

Bibliographic Details
Other Authors: Aczel, Peter, 1941-, Simmons, Harold, Wainer, S. S.
Format: Book
Language:English
Published: Cambridge [England] ; New York : Cambridge University Press, 1992.
Subjects:
Proof theory.
Description
Item Description:"Logic for IT"--cover
Physical Description:x, 306 pages ; 24 cm.
Bibliography:Includes bibliographic references.
ISBN:052141413X