Introduction to metamathematics

The book is a classic one. The rating is about the production.

I worked in "Foundations" in my thesis(1966) through Wilder. This informed me of intuitionist advances since then.

S. Kleene, probably the first giant among the second generation of computation theorists has provided succeeding generations with a compendium of results that would be very hard to find anywhere else, even in journals.

Dibuka

Dibuka tse di tshwanang