- "તાર્કિક અને ઓટોમેટાની જનરલ થિયરી '(1948).