TY  - GEN
AU  - Buchi, Richard J
TI  - On a decision method in restricted second order arithmetic: Symposium on decision problems
U1  - 510.5(045) 
PY  - 1962///
CY  - [s .l.]
PB  - [s. e.]
KW  - Teoria grafurilor
KW  - Cibernetica
KW  - Logica matematica
KW  - Automate
KW  - Extras
N1  - Contine bibliogr. - Legata impreuna cu alte lucrari ce constituie un volum legatoresc (Varia)
ER  -