投票コメント

全33件

• 

  Ｍ

  欲しい。 (2005/02/08)
  GOOD!0
• 

  ゆーあい

  大学の図書館で見ましたが良いホンです。
  なんで廃刊になったんでしょうか」？ (2004/08/22)
  GOOD!0
• 

  es1-dmx

  LK, LJ を学ぶためには、最良の本だと考えます。
  ぜひ、復刊を望みます。 (2004/07/07)
  GOOD!0
• 

  kazu6809

  同著者のブルーバックスの本を読み、この本も
  読みたくなったため。 (2004/03/02)
  GOOD!0
• 

  ik

  読みたい！ (2004/02/14)
  GOOD!0
• 

  mnru6990

  標準的な日本語で読める証明論の本が欲しいから。 (2003/08/04)
  GOOD!0
• 

  むらっち

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

  ethcrem

  日本語で読める証明論の入門書の名著だから。 (2003/06/10)
  GOOD!0
• 

  katsu2002

  内容に興味がありおもしろそうだから。 (2003/05/22)
  GOOD!0
• 

  さぶ

  シンタックスに関して日本語で読める最良の本の一冊ではないでしょうか。 (2003/03/25)
  GOOD!0
• 

  tttttt

  おもしろそう (2003/01/09)
  GOOD!0
• 

  リョウ

  日本語で読めるcut eliminationは貴重なので。 (2002/12/04)
  GOOD!0
• 

  シス

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