Enlarge

Basic proof theory

A. S. Troelstra

Publication Data

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

Descriptive Notes

Includes index.

Topics

Proof theory

Catalogue Data

OBNB ID GB96X7717
ISBN 10 0521572231
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xi,343p.
P1042 Bibliography: p309-330.

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 0521572231. Published by Cambridge University Press in 1996. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.