Identity as a logical primitive. Philosophia 5 (1975)

by L Henkin