A PROOF METHOD FOR QUANTIFICATION THEORY - ITS JUSTIFICATION AND REALIZATION

[1] BETH EW, 1955, ACTA PHILOS FENNICA

[2] CHURCH A, 1956, INTRO MAT LOGIC, P262

[3] DUNHAM B, 1959 P INT C INF PRO

[4] INTELLIGENT BEHAVIOR IN PROBLEM-SOLVING MACHINES [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1958, 2 (04) : 336 - 345

[5] GELERNTER HL, 1959 P INT C INF PRO

[6] HERBRAND J, 1930, TRAVAUX SOC SC 3 SMP

[7] Newell A., 1957, P W JOINT COMP C, P218, DOI DOI 10.1145/1455567.1455605

[8] PRAWITZ D, 1959 P INT C INF PRO

[9] ROSSER JB, LOGIC MATH, P150

[10] TOWARD MECHANICAL MATHEMATICS [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1960, 4 (01) : 2 - 22

[1] BETH EW, 1955, ACTA PHILOS FENNICA

[2] CHURCH A, 1956, INTRO MAT LOGIC, P262

[3] DUNHAM B, 1959 P INT C INF PRO

[4] INTELLIGENT BEHAVIOR IN PROBLEM-SOLVING MACHINES [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1958, 2 (04) : 336 - 345

[5] GELERNTER HL, 1959 P INT C INF PRO

[6] HERBRAND J, 1930, TRAVAUX SOC SC 3 SMP

[7] Newell A., 1957, P W JOINT COMP C, P218, DOI DOI 10.1145/1455567.1455605

[8] PRAWITZ D, 1959 P INT C INF PRO

[9] ROSSER JB, LOGIC MATH, P150

[10] TOWARD MECHANICAL MATHEMATICS [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1960, 4 (01) : 2 - 22