An Algebraic Introduction to Mathematical Logic by D.W. Barnes, J.M. Mack.
This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial course on abstract algebra. Consequently, our treatment of the subject is algebraic. Although we assume a reasonable level of sophistication in...
Full description
Saved in: