Bernays, PaulPaulBernaysFicken, F.A.2021-07-212021-07-211936https://hdl.handle.net/20.500.12111/7957Lectures given at the Institute for Advanced Study, 1935-36.enLogic, Symbolic and mathematicalLogical CalculusBook