Logic, language and computation

Detalles Bibliográficos
Outros autores:	Jones, Neil D., Hagiya, Masami, Sato, Masahiko
Formato:	Libro
Idioma:	English
Publicado:	Berlin Springer 1994.
Subjects:	Logic, Symbolic and mathematical.