PakCat catalogue record

Labelled deductive systems

By Gabbay, Dov M.

Bibliographic details

Publisher
Clarendon Press
Publication place
Oxford
Publication year
1996
Language
English
Material type
Book
Physical description
xiii, 497 p.