Thoralf Skolem and the epsilon substitution method for predicate logic (1996)

by G Mints
Venue:Nordic Journal of Philosophical Logic