Dalen, D. van (1932-)

Logic Colloquium '80 = papers intended for the European summer meeting of the Association for Symbolic Logic / by: Association for Symbolic Logic.; Dalen, D. van (1932-); Workshop on the Preservation of Stability under Discretization ((2001 :); Lascar, D. (1942-); Smiley, T. J. (書目-語言資料,印刷品)

Logic Colloquium '78 = proceedings of the colloquium held in Mons, August 1978 / by: Boffa, Maurice.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dalen, D. van (1932-); McAloon, Kenneth. (書目-語言資料,印刷品)

Logic and structure by: SpringerLink (Online service); Dalen, D. van (1932-) (書目-語言資料,印刷品)

The L.E.J. Brouwer Centenary Symposium = proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / by: Dalen, D. van (1932-); Brouwer, L. E. J. (1881-1966.); Troelstra, A. S.; Workshop on the Preservation of Stability under Discretization ((2001 :) (書目-語言資料,印刷品)