Undecidable Theories: Studies in Logic and the Foundation of Mathematics (Dover Books on Mathematics)

Since the winter is coming, you may want to settle in your recliner chair with a glass of your favorite libation and spend a quiet evening with this book. But the evening won't be quiet for your brain, which will be working OT to grasp all that is in this book.

A beautiful slim volume that has served as the starting point for so much of the research on the topics of decidable and undecidable theories formulated in First Order Logic, key themes in Model Theory and in Recursion Theory.

a fabulous, beautifully written book; quick delivery!

Tarski is great, always!

If you’ve studied the foundations this is a wonderful refresher. After reading in it, I’ve found it to be a mind cleaner, so straight and to the point, so pleasing to the thought processes. Read, and think about every idea presented. It’s like a gym for your mind. Try to visualize all the formal systems that are talked about, you will be rewarded. Work through the example theories to solidify the concepts. Note the precision and terseness of the writing. See what the ancient authors left for us. The reading of this will provide osmosis for the improvement of your own writing. It’s a wonderful, healthy adventure in reading and writing.

Sharp thinking from a classic brightmind as one can expext.

Un classique doit avoir pour ceux dans les fondations et à un bon prix.Les auteurs sont les anciens célèbres.

Very good, gives a bit of inside on how modern logic and model theory was came to be.