Дидактическая трактовка нулево-единичного метода проверки выражений узкого исчисления предикатов с одним аргументом
- 期刊名称Studia Logica
- 作者Л. Борковский
- 卷第11卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小26.87KB
- 发表时间1961
- DOI10.1007/bf02121201
- 页码75-75
同作者推荐
Die Recurrensparese als Intubationsschaden?Th. Friedrich; U. Hänsch; U. Eichfeld; M. Steinert; A. Staemmler; M. Schönfelder · 2000
Die Coronarthrombose in der VersicherungsmedizinM. Staemmler · 1956
Nebennierenrinde und männliche GenitalorganeM. Staemmler · 1949
Fetale EnteritisM. Staemmler · 1953
Posttraumatische SpätgangränM. Staemmler · 1935
Untersuchungen über autogene PigmenteM. Staemmler · 1924
Die chronische Vergiftung mit NicotinM. Staemmler · 1935
Oxydasereaktion und ZellstoffwechselM. Staemmler · 1927