Unsolvable classes of quantificational formulas /

Unsolvable classes of quantificational formulas /

41

Bibliographic Details
Main Author: 366676 Lewis, Harry R.
Format:
Published: Reading, Mass. : Addison Wesley, 1979
Subjects:
Unsolvability (Mathematical logic)
Combinatorial analysis
Computable functions
Description
Summary:41

Similar Items