A friendly introduction to mathematical logic.

書誌詳細
第一著者:	Leary, Christopher C.
フォーマット:	図書
言語:	英語
出版事項:	Upper Saddle River, New Jersey Prentice Hall c2000.
主題:	Computer logic. Logic, Symbolic and mathematical.