Logical calculus, The Institute for Advanced Studies (1935)

by Paul Bernays