Philosophy
Philosophy
PUTNAM, HILARY (+) MARTIN DAVIS.
Reductions of Hilbert's tenth ..[No place], The Journal of Symbolic Logic, 1958.
ROUSSEAU, JEAN-JACQUES.
Original handwritten manuscrip..(Unsigned, and no date, but penned between 1746 and 1751).
TURING, A.M. (+) H. A. NEWMAN.
A formal theorem in Church s t..(No place), The Association for Symbolic Logic, 1942.
ROUSSEAU, JEAN-JACQUES.
Original handwritten manuscrip..(Unsigned, and no date, but penned between 1746 and 1751).