Dowód niesprzeczności systemu logicznego Borkowskiego zawierającego arytmetykę Peany

✍ Scribed by T. Kubiński

• Publisher: Springer Netherlands
• Year: 1963
• Tongue: English
• Weight: 116 KB
• Volume: 14
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf02121787