Predicate Logic Unplugged (1995)

by Johan Bos
Venue:In Proceedings of the 10th Amsterdam Colloquium