述語論理・入門

基礎からプログラムの理論へ