No profile matches “”.
Sections
1 profile
Logician who gave programming languages a mathematical meaning
Born 1932