Lewis H. R. - Unsolvable Classes of Quantificational Formulas

Authors
G. Lolli
Citation
G. Lolli, Lewis H. R. - Unsolvable Classes of Quantificational Formulas, Scientia rivista di scienza , 117, 1982, pp. 420-422
Journal title
Scientia rivista di scienza → ACNP
ISSN journal
00368687
Volume
117
Year of publication
1982
Pages
420 - 422
Database
ACNP
SICI code