TY  - BOOK
AU  - Lewis, Harry R.
TI  - Unsolvable classes of quantificational formulas / 
U1  - 511.3/L294u 
PY  - 1979///
N1  - 1; Circulación y Préstamo
ER  -