TY  - BOOK
AU  - Henkin Leon
TI  - Logical systems containing only a finite number os symbols
U1  - B2:(R1), K7 
PY  - 1967///
CY  - Montreal
PB  - University De Montreal       
ER  -