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