Normal view MARC view ISBD view

Labelled deductive systems

Gabbay, Dov M

Labelled deductive systems Dov M. Gabbay - Oxford Clarendon Press ; Oxford University Press -1996 - xiii, 497 p. : ill. ; 24 cm

Includes bibliographical references and index

ISBN: 9780198538332

ISSN: 96025507

Subjects--Topical Terms:
Logic

Dewey Class. No.: 006.33 GAB

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Labelled deductive systems

Find us on the map