Enlarge

Goal-directed proof theory

Dov M. Gabbay

Publication Data

Title Goal-directed proof theory
Author Dov M. Gabbay
Contributor Nicola Olivetti
Publisher Kluwer Academic
Publication date 2000
Publication location Dordrecht
Language English

Topics

Proof theory

Catalogue Data

OBNB ID GBA056539
ISBN 10 0792364732
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 x,266p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Goal-directed proof theory by Dov M. Gabbay. ISBN 0792364732. Published by Kluwer Academic in 2000. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.