What is a logical systemn

Détails bibliographiques
Autres auteurs:	Gabbay, Dov M. 1945-
Format:	Livre
Langue:	English
Publié:	Oxford Clarendon Press 1994.
Collection:	Oxford science publications Studies in logic and computation 4
Sujets:	Logic, Symbolic and mathematical. Computer science.