海量图书期刊资源，随时随地畅享阅读乐趣
Mathematical Logic for Computer Science Volume 883 || First-Order Logic: Formulas, Models, TableauxBen-Ari, Mordechai · 2012