A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity ISBN: 9780191916656 Platform/Publisher: Oxford Academic / Oxford University Press Digital rights:Users: Unlimited; Printing: Unlimited; Download: Unlimited Subjects: Computer Architecture and Logic Design;