Büchi J.R. ...


Büchi J.R.
[1962]
On a decision method in restricted second order arithmetic
Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 1-11 (Русский перевод: Киберн. сборник, 1964, № 8, 78-90.)
65.08.70
article

Вернуться к поиску