PROOF, LOGIC AND FORMALIZATION - DETLEFSEN,M

被引：0

|

作者：

HEINZMANN, G

机构：

来源：

HISTORY AND PHILOSOPHY OF LOGIC | 1994年 / 15卷 / 01期

关键词：

D O I：

暂无

中图分类号：

B82 [伦理学（道德学）];

学科分类号：

摘要：

引用

收藏

页码：138 / 142

页数：5

相关论文

共 50 条

[1] PROOF, LOGIC AND FORMALIZATION - DETLEFSEN,M
LARVOR, B
INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES, 1994, 2 (01) : 149 - 151
[2] PROOF, LOGIC AND FORMALIZATION - DETLEFSEN,M, EDITOR
ENGEL, P
REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1995, 120 (01): : 133 - 134
[3] Michael Detlefsen (ed.), Proof, Logic and Formalization. Michael Detlefsen (ed.), Proof and Knowledge in Mathematics
Luiz Carlos Pereira
Erkenntnis, 1997, 47 (2) : 245 - 254
[4] PROOF AND KNOWLEDGE IN MATHEMATICS - DETLEFSEN,M
LARVOR, B
INTERNATIONAL JOURNAL OF PHILOSOPHICAL STUDIES, 1994, 2 (01) : 149 - 151
[5] PROOF AND KNOWLEDGE IN MATHEMATICS - DETLEFSEN,M, EDITORS
ENGEL, P
REVUE PHILOSOPHIQUE DE LA FRANCE ET DE L ETRANGER, 1995, 120 (01): : 133 - 134
[6] HILBERT PROGRAM - DETLEFSEN,M
LARGEAULT, J
ARCHIVES DE PHILOSOPHIE, 1989, 52 (02) : 304 - 304
[7] PROOF VERSUS FORMALIZATION
NAUR, P
BIT, 1994, 34 (01): : 148 - 164
[8] LOGIC AND FORMALIZATION OF MATHEMATICS
MELTZER, B
SCIENCE PROGRESS, 1967, 55 (220) : 583 - &
[9] FORMALIZATION IN PHILOSOPHICAL LOGIC
JACQUETTE, D
MONIST, 1994, 77 (03): : 358 - 375
[10] Formalization and the Objects of Logic
Georg Brun
Erkenntnis, 2008, 69 : 1 - 30

← 1 2 3 4 5 →