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