The Gallery

Theoretical computer science

Joseph Halpern

Moshe Y. Vardi

Rózsa Péter

Yuri Matiyasevich

Stephen Cole Kleene

Giorgi Japaridze

Haim Gaifman

Alonzo Church
1