of constructive mathematics, Mathematical logic, edited by Jon Barwise, North-Holland (1977)

by Aspects