Template:Are You Sure/June 14

From Gnomon Chronicles
Jump to navigation Jump to search

... that mathematician and logician Alonzo Church contributed to mathematical logic and the foundations of theoretical computer science?