Intuitionistic Logic Model Theory and Forcing

Constructive Order Types

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Handbook of Mathematical Logic

Selected Papers on Automath

Logic, Methodology and Philosophy of Science IX