Trial and error predicates and solution to a problem of Mostowski (1965)

by H Putnam
Venue:Jounal of Symbolic Logic