Enlarge

Arithmetic, proof theory, and computational complexity

Publication Data

Title Arithmetic, proof theory, and computational complexity
Contributors Peter Clote, Jan Krajíček
Publisher Clarendon
Publication date 1993
Language English

Topics

Proof theory
011642270

Catalogue Data

OBNB ID GB9328288
ISBN 10 0198536909
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xii,428p.

Buy a copy

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

Arithmetic, proof theory, and computational complexity. ISBN 0198536909. Published by Clarendon in 1993. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.