定理証明手習い

Daniel P. Friedman, Carl Eastlund著

この本の情報

書名 定理証明手習い
著作者等 Eastlund, Carl
Friedman, Daniel P
鹿野 桂一郎
中野 圭介
書名ヨミ テイリ ショウメイ テナライ
書名別名 The little prover
出版元 ラムダノート
刊行年月 2017.10
ページ数 xiv, 220p
大きさ 21cm
ISBN 978-4-908686-02-3
NCID BB24952022
※クリックでCiNii Booksを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想