Elementarer Nachweis der Widerspruchslosigkeit des Logik-Kalküls.

• 1 January 1929
• journal article
• Published by Walter de Gruyter GmbH in Journal für die reine und angewandte Mathematik (Crelles Journal)
• Vol. 1929  (161) , 107-112
• https://doi.org/10.1515/crll.1929.161.107

Abstract