文字サイズ

  • 小
  • 中
  • 大

古書を探す

「Logic and computation : interactive proof with Cambridge LCF Cambridge tracts in theoretical computer science」の検索結果
1件

絞込み検索を表示
年から 年※単一年を探す場合 1995～1995

（例）初版　函　帯　など
￥ から￥
件

詳細検索についての注意事項

  • 複数条件での絞込検索が可能です。検索条件をスペースで区切って入力してください。
表示順
出版社
コンパクト表示 すべて表示
件

Logic and Computation (Soft) Interactive proof with Cambridge LCF ＜Cambridge Tracts in Theoretical Computer Science 2＞


[書影]
明倫館書店
 東京都千代田区神田神保町
￥2,000
L.C. Paulson、Cambridge University Press、1990、302、8･･･
少日焼け汚れ。カド擦れ反り有。本文概ね良好。
かごに入れる
気になる本に追加
クレジットカード使用可 銀行振込可 代引き可 公費可 海外発送不可 適格請求

Logic and Computation (Soft) Interactive proof with Cambridge LCF ＜Cambridge Tracts in Theoretical Computer Science 2＞

￥2,000
L.C. Paulson 、Cambridge University Press 、1990 、302 、8vo soft 、1冊
少日焼け汚れ。カド擦れ反り有。本文概ね良好。
明倫館書店

お探しの古書は見つかりましたか？

在庫検索から見つからなかった場合は、書誌（カタログ）からも検索できます。
お探しの古書が登録されていれば、在庫が無い本や条件に合わない本についても、こちらからリクエストを行うことができます。 書誌（カタログ）から探す

北陸新幹線延伸 - 鉄道、旅客案内

寿都鉄道
寿都鉄道
 ￥8,000
車両技術
車両技術
 ￥82,500

電卓60年 - IT技術の源流、電卓からパソコンへ

確率とBASIC
確率とBASIC
 ￥3,960