Search Results for Dalen, D. van (Dirk), 1932- - Narrowed by: Online Library

The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

2024-11-09T11:19:43Z

Author L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: Electronic Resources
Availability Online Library~1

Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic

2024-11-09T11:19:43Z

Author Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: Electronic Resources
Availability Online Library~1

Logic colloquium '78 proceedings of the colloquium held in Mons, August 1978

2024-11-09T11:19:43Z

Author Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
Format: Electronic Resources
Availability Online Library~1