登入
選單
返回
Google圖書搜尋
A Course in Mathematical Logic
J.L. Bell
M. Machover
出版
Elsevier Science
, 1977-01-01
主題
Mathematics / Logic
Computers / Information Theory
Mathematics / Discrete Mathematics
Language Arts & Disciplines / Library & Information Science / General
ISBN
0720428440
9780720428445
URL
http://books.google.com.hk/books?id=nub1zAEACAAJ&hl=&source=gbs_api
註釋
A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.