Normal view
MARC view
- Lewis, Harry R.
Lewis, Harry R. (Personal Name)
His Unsolvable classes of quantificational formulas, c1979: t.p. (Harry R. Lewis; Aiken Computation Lab., Harvard)