Robert Mattison

• Richard Pousette-Dart
• An introduction to the model theory of first-order predicate logic and a related temporal logic
• Franz Kline
• Grace Hartigan