Vol. 499. Müller, G. H.; Oberschelp, A.; Potthoff (Ed.)
l= ISILC Logic Conference: Proceedings pf the International Summer Institute and Logic Colloquium, Kiel 1974 
QA9 A115