ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974
Book information
Similar books
ISILC - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and ... in Mathematics)
1976 · PDF
Zur Synopse. Untersuchung über die Arbeitsweise des Lk und Mt und ihre Quellen, namentlich die Spruchquelle, im Anschluss an eine Synopse Mk-Lk-Mt
1908 · PDF
Logic Symposia, Hakone, 1979, 1980 proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
1981 · PDF
Higher set theory. Proceedings, Oberwolfach, Germany, 1977
1978 · DJVU
Logic Symposia, Hakone, 1979, 1980
1981 · DJVU
Decidable Theories II
1973 · DJVU
Cosmical Electrodynamics, 2nd Ed. (International Series of Monographs on Physics)
1963 · DJVU
Theory of Knowledge: An Introduction
1976 · DJVU