North-Holland Publishing Company Amsterdam.

Proceedings of the third Scandinavian Logic Symposium (Studies in logic and the foundations of mathematics)

By Dickmann, M. A.