Merkliste 
 1 Ergebnisse 
 
1

Proceedings of the third Scandinavian Logic Symposium 

Studies in logic and the foundations of mathematics ; v. 82
Kanger, Stig , 1975