Sprowadzenie arytmetyki do typikalnej logiki bez aksjomatu nieskończoności i typikalnej wieloznaczności stałych arytmetycznych

✍ Scribed by L. Borkowski

• Publisher: Springer Netherlands
• Year: 1958
• Tongue: English
• Weight: 41 KB
• Volume: 8
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf02126761