TOWARD MECHANICAL MATHEMATICS

[1] Beth E.W., 1957, CRISE RAISON LOGIQUE

[2] Burks A. W., 1954, MATH COMPUT, V8, P53, DOI DOI 10.1090/S0025-5718-1954-0061484-4

[3] Church, 1956, INTRO MATH LOGIC, V1

[4] COLLINS GE, 1957, SUM P I SYMB LOG COR, P64

[5] COLLINS GE, 1957, SUM P I SYMB LOG COR, P215

[6] ON THE COMPLETENESS OF QUANTIFICATION THEORY [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1952, 38 (12) : 1047 - 1052

[7] GELERNTER H, 1957, SUM P I SYMB LOG COR, P305

[8] Hardy G. H, 1954, INTRO THEORY NUMBERS

[9] HARDY GH, COURSE PURE MATH

[10] HILBERT D, 1939, GRUNDLAGEN MATH BERL, V2

[1] Beth E.W., 1957, CRISE RAISON LOGIQUE

[2] Burks A. W., 1954, MATH COMPUT, V8, P53, DOI DOI 10.1090/S0025-5718-1954-0061484-4

[3] Church, 1956, INTRO MATH LOGIC, V1

[4] COLLINS GE, 1957, SUM P I SYMB LOG COR, P64

[5] COLLINS GE, 1957, SUM P I SYMB LOG COR, P215

[6] ON THE COMPLETENESS OF QUANTIFICATION THEORY [J]. PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1952, 38 (12) : 1047 - 1052

[7] GELERNTER H, 1957, SUM P I SYMB LOG COR, P305

[8] Hardy G. H, 1954, INTRO THEORY NUMBERS

[9] HARDY GH, COURSE PURE MATH

[10] HILBERT D, 1939, GRUNDLAGEN MATH BERL, V2