Andrzej Mostowski and Alfred Tarski, The elementary theory of well-ordering—a metamathematical study (1978)

by John E Doner
Venue:in Logic Colloquium ’77, ed. Angus Macintyre, Leszek Pacholski and Jeff