Books
数学基礎論から証明とプログラムの理論へ
ISBN:9784791768516出版社:青土社判型:4-6ページ数:357ページ定価:2800円(本体)発行年月日:2015年02月発売日:2015年02月24日国際分類コード【Thema(シーマ)】 1:PDZ国際分類コード【Thema(シーマ)】 2:PB。