定理証明手習い

• 資料種別: 図書
• ISBN: 978-4-908686-02-3
• タイトル: 定理証明手習い
• タイトルよみ: テイリ ショウメイ テナライ
• 著者・編者: Daniel P. Friedman, Carl Eastlund 著; 中野圭介 監訳
• 著者標目: Friedman, Daniel P ( 00440206 )典拠; Eastlund, Carl ( 001290452 )典拠; 中野, 圭介, 情報学 ナカノ, ケイスケ, ジョウホウガク ( 001290450 )典拠
• 出版事項: 東京 : ラムダノート
• 出版年月日等: 2017.10
• 出版年（W3CDTF）: 2017
• 数量: 220p
• 大きさ: 21cm
• その他のタイトル: The little prover
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠; 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 007.64 : 情報学．情報科学
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 原タイトル: The little prover
• 入手条件・定価: 3200円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-L1476
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 028707452; http://id.ndl.go.jp/bib/028707452
• 全国書誌番号: 23057671
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111