TY  - GEN
AU  - Henkin, Leon
TI  - Logical systems containing only a finite number of simbols
U1  - 510.63 
PY  - 1967///
CY  - Montreal
PB  - Les Presses de l'Universite de Montreal
KW  - Logica matematica
KW  - Sisteme logice
KW  - Gramatici
N1  - Inaintea tit.: Universite de Montreal. Departament de Mathematiques
ER  -