On a decision method in restricted second order arithmetic Symposium on decision problems
Buchi, Richard J
On a decision method in restricted second order arithmetic Symposium on decision problems J. Richard Buchi - [s .l.] [s. e.] 1962 - 13 p 24 cm
Contine bibliogr. - Legata impreuna cu alte lucrari ce constituie un volum legatoresc (Varia)
Teoria grafurilor
Cibernetica
Logica matematica
Automate
Extras
510.5(045) 519.7(045)
On a decision method in restricted second order arithmetic Symposium on decision problems J. Richard Buchi - [s .l.] [s. e.] 1962 - 13 p 24 cm
Contine bibliogr. - Legata impreuna cu alte lucrari ce constituie un volum legatoresc (Varia)
Teoria grafurilor
Cibernetica
Logica matematica
Automate
Extras
510.5(045) 519.7(045)