1957
2 references published this year.
SAGE — A Data-Processing System for Air Defense
R. R. Everett and others (1957) · Papers and Discussions Presented at the Eastern Joint Computer Conference
The axiomatization of arithmetic
Hao Wang (1957) · The Journal of Symbolic Logic