Computability and logic

Main
Mathematics
Computability and logic

Computability and logic

Name: Computability and logic
ISBN: 9780521809757

George S. Boolos, John P. Burgess, Richard C. Jeffrey

0 / 0

0 comments

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical background, and because it covers not only the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, but also a large number of optional topics from Turing's theory of computability to Ramsey's theorem. John Burgess has enhanced the book by adding a selection of problems at the end of each chapter.

หมวดหมู่:

Mathematics

ปี:

2002

ฉบับพิมพ์ครั้งที่:

4th ed

สำนักพิมพ์:

Cambridge University Press

ภาษา:

english

จำนวนหน้า:

370