<図書>
Studies in proof theory : lecture notes
データ種別 | 図書 |
---|---|
出版者 | Napoli : Bibliopolis |
子書誌情報
1 | 1 Intuitionistic type theory / Per Martin-Löf Napoli : Bibliopolis , c1984 |
書誌詳細
書誌ID | 1000001723 |
---|---|
NCID | BA06884557 |
登録日 | 1992.05.19 |
更新日 | 1996.03.07 |