Logičeskoje vvedenije v matematiku. - Stoľar, Abram Aronovič (1971)