論理とプログラム意味論

田辺誠, 中島玲二, 長谷川真人

出版社

岩波書店

発売日

1999-09-01

ISBN

9784000061902