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

by H Putnam
Venue:Journal of Symbolic Logic