登入選單
返回Google圖書搜尋
其他書名
Computable Functions, Logic, and the Foundations of Mathematics
出版Wadsworth/Thomson Learning, 2000
主題Mathematics / Discrete MathematicsMathematics / LogicPhilosophy / General
ISBN05345464479780534546441
URLhttp://books.google.com.hk/books?id=D0y8QgAACAAJ&hl=&source=gbs_api
註釋This highly readable and intuitive introduction to computability theory contains a great many background discussions which introduce the reader to the researched history and philosophical aspects of recursion theory and logic. This book is perfectly suited for class work and individual study, successfully achieving the goal of painlessly introducing technical matter in a readable and stimulating way.