BRACERS Record Detail
To access the original letter, email the Ready Division.
"The Logic Theory Machine"
Also in file: TL(CAR).
Simon sends BR his computer proof of Principia proofs. The enclosure is "The Logic Theory Machine: a Complex Information Processing System".
Record last modified 2014/11/28
Created/last modified by duncana