Cevabım bu soruya geç olabilir, ancak umarım benzer bilgi arayan diğer insanlar için yararlı olacaktır.
Singapur Ulusal Üniversitesi'nde Matematiksel Mantık hakkında bir ders almıştım, bu dersi okutman bu ders kitabını kullandı:
Matematiksel Mantıka Kısa Bir Giriş, 3. baskı, Wolfgang Rautenberg
Şahsen hem ders kitabını hem de kursu çok seviyorum.
Ders kitabının başlangıçta okunması oldukça zor görünmektedir. Bununla birlikte, bir kez aşina olduktan sonra, gösterim sistemi çok açık olduğu, içerik kendi kendine yettiği ve yaklaşım, vakıftan başlayarak, belirsiz bir varsayım olmadığı için takip etmek çok daha kolaydır. Örneğin, bu kitap doğal kesinti hesabını ve Hilbert hesabını geliştirir veya Kurt Gödel'in iki eksiklik teoremini sıfırdan kanıtlar.