-
5Die Schematische Korrespondenz und die Idealisierten StrukturenJournal of Symbolic Logic 43 (1): 152. 1978.
-
7Review: Paul Bernays, Zum Symposium uber die Grundlagen der Mathematik (review)Journal of Symbolic Logic 43 (1): 152-153. 1978.
-
11Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher TypenJournal of Symbolic Logic 40 (3): 453-454. 1975.
-
25Review: Shoji Maehara, Toshio Nishimura, Setsuya Seki, Non-Constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and Its Extension (review)Journal of Symbolic Logic 32 (2): 283-284. 1967.
-
3Review: Paul Bernays, Die Mannigfaltigkeit der Direktiven fur die Gestaltung Geometrischer Axiomensysteme (review)Journal of Symbolic Logic 43 (1): 150-151. 1978.
-
21Review: Paul Bernays, Probleme der Theoretischen Logik (review)Journal of Symbolic Logic 43 (1): 147-148. 1978.
-
19Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen (review)Journal of Symbolic Logic 37 (4): 752-753. 1972.