Zur Widerspruchsfreiheit einer typenfreien Logik
From MaRDI portal
Publication:2650840
DOI10.1007/BF01343133zbMath0050.24405MaRDI QIDQ2650840
Publication date: 1953
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160320
Related Items
Cites Work