What is a logical systemn

Detalles Bibliográficos
Otros Autores:	Gabbay, Dov M. 1945-
Formato:	Libro
Lenguaje:	English
Publicado:	Oxford Clarendon Press 1994.
Colección:	Oxford science publications Studies in logic and computation 4
Materias:	Logic, Symbolic and mathematical. Computer science.