### Bibliography

#### Works connected to ~~Isaak Paul Bernays~~

#### Filter the Bibliography List

Abgekürzte Beweise im Logikkalkül
[Abbreviated proofs in the logical calculus].
Ph.D. thesis,
Georg-August-Universität Göttingen (Göttingen),
1934.
Advised by P. Bernays and H. Weyl.
An abstract was published (in English) in *Bull. Am. Math. Soc.* **40**:1 (1934).
phdthesis

Book review: Grundlagen der Mathematik, vol. I” [Book review: Foundations of mathematics, vol. I], Bull. Am. Math. Soc. 41 : 3 (1935), pp. 162–165. Book by D. Hilbert and P. Bernays (Springer, 1934). MR 1563043 JFM 65.0091.03 article

: “