Logic, language and computation - Jones, Neil D.; Hagiya, Masami; Sato, Masahiko (Berlin Springer, 1994)
Keywords: Logic, Symbolic and mathematical