书名: A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
作者: Shawn Hedman (Author)
出版社: Oxford University Press, USA (August 20, 2004)
语言:English
ISBN-10: 0198529813
ISBN-13: 978-0198529811
Book Description
The ability to...