Barwise, Jon and John Etchemendy
The language of First-order logic Barwise, Jon [and] John Etchemendy - 3rd ed. - California CSLI Publications 1993 - 313p.
0-937073-99-7
--School of Business and Education
BC 128 / B37 1993
The language of First-order logic Barwise, Jon [and] John Etchemendy - 3rd ed. - California CSLI Publications 1993 - 313p.
0-937073-99-7
--School of Business and Education
BC 128 / B37 1993