Interpretation of logical formulas by means of finite problems (1966)

by J T Medvedev
Venue:Soviet Math. Dokl