A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (OXFORD TEXTS IN LOGIC)

by Shawn Hedman Hardcover details (UK). ISBN: 978-0-19-852980-4 ISBN-10: 0-19-852980-5 OUP Oxford · 2004