Toposes in logic and logic in toposes. (To appear, Proc. of the meeting of the Soc. for Exact Philosophy (1983)

by M C Bunge