Mathematical Logic认领

0获赞0粉丝0关注

This introduction to first-order logic clearly works out the role of first-