<図書>
Natural deduction : a proof-theoretical study
責任表示 | Dag Prawitz |
---|---|
シリーズ | Acta Universitatis Stockholmiensis ; . Stockholm studies in philosophy ; 3 |
データ種別 | 図書 |
出版情報 | Stockholm : Almqvist & Wiksell , 1965 |
本文言語 | 英語 |
大きさ | 113 p. ; 24 cm |
所蔵情報
状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
---|---|---|---|---|---|---|---|---|---|---|
|
|
理系図 自動書庫 | 410.1/P 89/1 | 1965 |
|
058211981270543 |
|
書誌詳細
一般注記 | Includes bibliographical references and indexes |
---|---|
著者標目 | *Prawitz, Dag |
書誌ID | 1001394708 |
NCID | BA55544908 |
登録日 | 2009.11.02 |
更新日 | 2009.11.02 |