Basic proof theory :: A. S. Troelstra :: ISBN 0521779111 :: Cambridge University Press 2000 :: OBNB, the Open British National Bibliography

Publication Data

Title Basic proof theory
Author A. S. Troelstra
Contributor Helmut Schwichtenberg
Publisher Cambridge University Press
Publication date 2000
Publication location Cambridge
Language English

Descriptive Notes

Previous ed.: 1996.

Topics

Proof theory

Catalogue Data

OBNB ID GBA071623
ISBN 10 0521779111
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1008>2nd 2nd ed.
P1053 xii, 417 p.
P1042 Includes bibliographical references (p. 379-403) and index.

Buy a copy

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

Basic proof theory by A. S. Troelstra. ISBN 0521779111. Published by Cambridge University Press in 2000. Publication and catalogue information, links to buy online and reader comments.