History

for article: Suppes–Lemmon notation