Сведение ариФметики к типикальной логике Без аксиомы Бесконечности и типикальной многозначительности ариФметических постоянных
- 期刊名称Studia Logica
- 作者Л. Борковский
- 卷第8卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小44.65KB
- 发表时间1958
- DOI10.1007/bf02126762
- 页码297-297