1
Publications
932
Citations
1
H-Index
1957
Active since
Alonzo Church is an author specializing in automated reasoning, formal methods, and engineering.
Publications per year
1957–1957
1
1
Introduction to Mathematical Logic.
Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 932 citations
Rows per page
1–1 of 1