Zur Widerspruchsfreiheit einer typenfreien Logik

✍ Scribed by Kurt Schütte

• Publisher: Springer
• Year: 1952
• Tongue: English
• Weight: 581 KB
• Volume: 125
• Category: Article
• ISSN: 0025-5831
• DOI: 10.1007/bf01343133