Logic, Logic, and Logic

Rating:
Summary: This book is a must-buy.
Review: This book is a must-buy, or at least a must-have. If you like logic, you must have this book -- for it'll give you what you like. If you don't like logic, you must have this book -- for it'll snap you out of your (misplaced) dislike. You either like logic or you don't. You figure it out!

Truly, this book is a wonderful collection suited for anyone competent in classical first-order logic. Indeed, it serves as a rather nice second step into the world of logic beyond classical first-order. At the very least the book offers the best (informal) introductions to Goedel's celebrated theorem, which is worth a lot.

Anyone familiar with Boolos' work will know that this book is a treat. Anyone not familiar with Boolos' work must learn; and ~Logic, Logic, and Logic~ is a great place to start.

Rating:
Summary: This book is a must-buy.
Review: This book is a must-buy, or at least a must-have. If you like logic, you must have this book -- for it'll give you what you like. If you don't like logic, you must have this book -- for it'll snap you out of your (misplaced) dislike. You either like logic or you don't. You figure it out!

Truly, this book is a wonderful collection suited for anyone competent in classical first-order logic. Indeed, it serves as a rather nice second step into the world of logic beyond classical first-order. At the very least the book offers the best (informal) introductions to Goedel's celebrated theorem, which is worth a lot.

Anyone familiar with Boolos' work will know that this book is a treat. Anyone not familiar with Boolos' work must learn; and ~Logic, Logic, and Logic~ is a great place to start.