Languages
Dalen, D. van (1932-)
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
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.
(Language materials, printed)
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.
(Language materials, printed)
Logic and structure
by:
SpringerLink (Online service); Dalen, D. van (1932-)
(Language materials, printed)
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 :)
(Language materials, printed)