A Course on Mathematical Logic

This book is written on the occassion of the birth centenary year of Kurt G¨odel (1906–1978), the most exciting logician of all times, whose discoveries shook the foundations of mathematics. His beautiful technique to examine the whole edifice of mathematics within mathematics itself has been likened, not only figuratively but also in precise technical terms, to the music of Bach and dr…