Proceedings of the Third Scandinavian Logic Symposium
Scandinavian Logic Symposium3rd1973University of Uppsala.
Kanger, Stig.
Amsterdam Oxford North Holland Publishing Co. [etc.]
1975
Includes bibliographies and index
Logic, Symbolic and mathematical.