ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974


ISILC Proof Theory Symposium
Bok Engelsk 1975

Detaljer

Bibliotek som har denne