1.

図書
図書
1. Truth, deduction, and computation : logic and semantics for computer science
R.E. Davis
出版情報: New York : Computer Science Press, c1989
シリーズ名: Principles of computer science series
所蔵情報: loading…
2.

図書
図書
2. Logic of domains (: Boston ; : Basel)
Guo-Qiang Zhang
出版情報: Boston : Birkhäuser, 1991
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…