Robert Roy Korfhage

• Logic and algorithms