語系
Prawitz, Dag.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Logic, methodology, and philosophy of science IX = proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Westerståhl, Dag, (1946-); Skyrms, Brian.; Prawitz, Dag.
(書目-語言資料,印刷品)
Advances in natural deduction : = a celebration in Dag Prawitz's work /
by:
Haeusler, Edward Hermann.; De Paiva, Valeria.; Pereira, Luiz Carlos.; Prawitz, Dag.
(書目-語言資料,印刷品)
Dag Prawitz on proofs and meaning
by:
Wansing, Heinrich.; SpringerLink (Online service); Prawitz, Dag.
(書目-語言資料,印刷品)