关注微信公众号查券更方便
【4周达】The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications [9780521882194]