ISBN 0198538332 books & textbook

Labelled Deductive Systems (Oxford Logic Guides)

Clarendon Press /1996-11-14 Hardcover / 510 Pages
isbn-10: 0198538332 / isbn-13: 9780198538332