Roel C. De De Vrijer (Vrije University): Publications - PhilPeople

Vrije University
Department of Computer Science

Retired faculty

Amsterdam, North Holland, Netherlands

Areas of Specialization

Science, Logic, and Mathematics

Areas of Interest

Science, Logic, and Mathematics

116

A direct proof of the finite developments theorem
Journal of Symbolic Logic 50 (2): 339-343. 1985.