...Bernays

Thanks to the work of Gödel (1930, 1931) this project was delayed, and it expanded into two volumes (1934, 1938).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...predicates.

One finds Schröder alluding to this fact in Vol. III of Algebra der Logik, but he does not try to justify his remarks.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.