2017年10月 定理証明手習い Daniel P. Friedman, Carl Eastlund, 中野圭介 担当区分 編訳 総ページ数 220 担当ページ 記述言語 日本語 著書種別 学術書 DOI ISBN 9784908686023 ID情報 ISBN : 9784908686023