A MECHANICAL PROOF PROCEDURE AND ITS REALIZATION IN AN ELECTRONIC COMPUTER

被引：14

作者：

PRAWITZ, D

PRAWITZ, H

VOGHERA, N

机构：

来源：

关键词：

D O I：

10.1145/321021.321023

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：102 / 128

页数：27

相关论文

共 15 条

[1]

BETH EW, 1958, WISEN NATURKUNDIG TI, V32, P49

[2]

BETH EW, 1955, MED KON NEDERL AKAD, V18

[3]

Bowden B V, 1953, FASTER THAN THOUGHT

[4]

Church, 1956, INTRO MATH LOGIC, V1

[5]

GELERNTER H, 1958, IBM J RES DEV, V2

[6]

GELERNTER H, 1957, 1957 SUMM I SYMB LOG

[7]

Hintikka K. J., 1955, ACTA PHILOS FENNICA

[8]

Kanger S., 1957, PROVABILITY LOGIC

[9]

KANGER S, 1959, HDB LOGIK FILOSOFISK

[10]

KLEENE SC, 1952, INTRO METAMATHEMATIC