Scandinavian Logic Symposium Jyväskylä, Finland 1976.

• Essays on mathematical and philosophical logic