Moja odpowiedź może być spóźniona na to pytanie, ale mam nadzieję, że przyda się innym osobom szukającym podobnych informacji.
Wziąłem kurs o logice matematycznej na National University of Singapore, w którym wykładowca wykorzystał ten podręcznik:
Zwięzłe wprowadzenie do logiki matematycznej, 3. wydanie, Wolfgang Rautenberg
Osobiście bardzo podoba mi się zarówno podręcznik, jak i kurs.
Podręcznik początkowo wydaje się dość trudny do odczytania. Jednak po zapoznaniu się z nim znacznie łatwiej jest podążać, ponieważ system notacji jest bardzo jasny, treść jest zamknięta, a podejście zaczyna się od założenia, nie ma niejasnych założeń. Na przykład książka ta rozwija rachunek dedukcji naturalnej i rachunek Hilberta lub dowodzi dwóch twierdzeń Kurta Gödela od podstaw.
Podoba mi się książka Toma Stuarta „Zrozumienie obliczeń” w odniesieniu do obliczeń modelowania. Oferuje ładny progresywny przegląd modeli do obliczeń. Jeśli dobrze pamiętam: - deterministyczne maszyny skończone - niedeterministyczny FSM - FSM ze stosem (deterministyczny i niedeterministyczny) - maszyny Turinga (z taśmą)
Jest dość interaktywny i praktyczny, ponieważ jednocześnie buduje prostą implementację każdego modelu w Ruby.
źródło