Trial and Error Predicates and the Solution of a Problem of Mostowski (1965)

by H Putnam
Venue:Journal of Symbolic Logic