T. Gergely

• First-order programming theories
• First-Order Programming Theories
• Mathematical logic in computer science