Unsolvable Classes of Quantificational Formulas

作者: Harry R. Lewis
出版社: Addison-Wesley Educational Publishers Inc
出版年: 1980-01-18
装帧: Paperback
ISBN: 9780201040692