Logic, language and computation

Logic, language and computation

Bibliographic Details
Other Authors: Jones, Neil D., Hagiya, Masami, Sato, Masahiko
Format: Book
Language:English
Published: Berlin Springer 1994.
Subjects:
Logic, Symbolic and mathematical.