इस प्रश्न के लिए मेरा उत्तर देर से हो सकता है, लेकिन मुझे उम्मीद है कि यह अन्य लोगों के लिए भी इसी तरह की जानकारी के लिए उपयोगी होगा।
मैंने नेशनल यूनिवर्सिटी ऑफ़ सिंगापुर में गणितीय तर्क के बारे में एक पाठ्यक्रम लिया था, जिसमें व्याख्याता ने इस पाठ्यपुस्तक का उपयोग किया था:
वुल्फगैंग रुटेनबर्ग द्वारा गणितीय तर्क, 3 डी संस्करण का एक संक्षिप्त परिचय
व्यक्तिगत रूप से, मुझे पाठ्यपुस्तक और पाठ्यक्रम दोनों बहुत पसंद हैं।
पाठ्यपुस्तक शुरू में पढ़ने में काफी कठिन प्रतीत होती है। हालांकि, एक बार इससे परिचित होने के बाद, यह अनुसरण करना बहुत आसान है क्योंकि अंकन की प्रणाली बहुत स्पष्ट है, सामग्री स्व-निहित है और दृष्टिकोण नींव से शुरू होता है, कोई अस्पष्ट धारणा नहीं है। उदाहरण के लिए, यह पुस्तक प्राकृतिक कटौती कैलकुलस और हिल्बर्ट कैलकुलस को विकसित करती है, या खरोंच से कर्ट गोडेल के दो अपूर्ण सिद्धांतों को साबित करती है।