復刊投票コメント一覧

証明論入門 〔数学基礎論 改題〕

全33件

Ｍ
Ｍ

欲しい。

2005/02/08

ゆーあい
ゆーあい

大学の図書館で見ましたが良いホンです。
なんで廃刊になったんでしょうか」？

2004/08/22

es1-dmx
es1-dmx

LK, LJ を学ぶためには、最良の本だと考えます。
ぜひ、復刊を望みます。

2004/07/07

kazu6809
kazu6809

同著者のブルーバックスの本を読み、この本も
読みたくなったため。

2004/03/02

ik
ik

読みたい！

2004/02/14

mnru6990
mnru6990

標準的な日本語で読める証明論の本が欲しいから。

2003/08/04

むらっち
むらっち

哲学を専攻しているものです。現在、シークエント計算を勉強しているのですが、担当教官にも好著と勧められた『証明論入門』をぜひ手元に置きたいと思い、希望しました。

2003/06/19

ethcrem
ethcrem

日本語で読める証明論の入門書の名著だから。

2003/06/10

katsu2002
katsu2002

内容に興味がありおもしろそうだから。

2003/05/22

さぶ
さぶ

シンタックスに関して日本語で読める最良の本の一冊ではないでしょうか。

2003/03/25

tttttt
tttttt

おもしろそう

2003/01/09

リョウ
リョウ

日本語で読めるcut eliminationは貴重なので。

2002/12/04

シス
シス

日本語で読める証明論の入門書としては，いまだにこれを超えるものはないと思われます．入手できなくて困るという声もよく聞かれるので，ぜひとも復刊を希望します．

2002/10/18