"Arend Heyting"@cs .