TY  - BOOK
AU  - Buchi, J. Richard,
AU  - Mac Lane,Saunders
AU  - Siefkes, Dirk
TI  - The collected works of j. richard buchi
SN  - 0387970649
AV  - QA267 B83
PY  - 1990///
CY  - New York
PB  - Springer Verlag
KW  - Buchi, J. , Richard
KW  - Teoría de las máquinas
KW  - Lógica simbólica y matemática
ER  -