Enlarge

Proof, logic and formalization

Publication Data

Title Proof, logic and formalization
Contributor Michael Detlefsen
Publisher Routledge
Publication date 1992
Language English

Topics

Proof theory
011965893

Catalogue Data

OBNB ID GB9116811
ISBN 10 0415023351
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 x,241p.

Buy a copy

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

Proof, logic and formalization. ISBN 0415023351. Published by Routledge in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.