Logic, language and computation

書誌詳細
その他の著者:	Jones, Neil D., Hagiya, Masami, Sato, Masahiko
フォーマット:	図書
言語:	英語
出版事項:	Berlin Springer 1994.
主題:	Logic, Symbolic and mathematical.