情報数学講座 1
応用論理
著：桔梗 宏孝
紙版
内容紹介
述語論理で数学的議論をすることとコンピュータのプログラミングをすることが、本質的に同じであることを具体例をあげて説明している。
目次
第1章 古典命題論理
第2章 一階古典述語論理
第3章 論理プログラミング
第4章 数え上げと対角線論法
第5章 代入と型付きラムダ式
ISBN：9784320026513
。出版社：共立出版
。判型：A5
。ページ数：224ページ
。定価：3000円（本体）
。発行年月日：1996年01月
。発売日：1996年01月01日。
