The decision problem : solvable classes of quantificational formulas

書誌事項

The decision problem : solvable classes of quantificational formulas

Burton Dreben, Warren D. Goldfarb

Addison-Wesley, Advanced Book Program, 1979

大学図書館所蔵 件 / 25

この図書・雑誌をさがす

注記

Bibliography: p. 257-260

Includes indexes

詳細情報

ページトップへ