スティーヴン・コール・クリーネ
Introduction to Metamathematics D. Van Nostrand (1952)
Mathematical Logic John Wiley (1967). Dover paperback reprint ca. 2001.
Representation of Events in Nerve Nets and Finite Automata in Automata Studies (1956) eds. C. Shannon and J. McCarthy.