Értékelés:
A könyv az első kötet folytatása, amely a logika és a matematika témaköreit öleli fel. Bár élvezetes és növeli a megértést, egyes olvasók úgy érzik, hogy a későbbi részekből hiányzik a mélység az elvárásokhoz képest.
Előnyök:Jó minőségű papír, könnyen olvasható, élvezetes, jelentősen növeli a logikai témák megértését.
Hátrányok:A második rész talán nem minden olvasó számára szükséges, a későbbi témákból hiányzik az elvárt részletesség, a memorizáláshoz szükséges mennyiség miatt megterhelő lehet.
(2 olvasói vélemény alapján)
A Beginner's Further Guide to Mathematical Logic
Ez az utolsó könyv, amelyet a néhai nagy rejtvénymester és logikus, Dr. Raymond Smullyan írt.
Ez a könyv a Kezdő matematikai logikai útmutató című könyvem folytatása.
Az előző kötet a tételes és elsőrendű logika elemeivel foglalkozik, tartalmaz egy keveset a formális rendszerekről és a rekurzióról, és G del híres befejezetlenségi tételéről szóló fejezetekkel zárul, a kapcsolódó eredményekkel együtt.
A mostani kötet egy kicsit bővebben a tételes és elsőrendű logikával kezdődik, majd egy általam „fin”-nek nevezett fejezet következik, amely egyszerre általánosít néhány eredményt a rekurzióelméletből, elsőrendű aritmetikai rendszerekből és az általam „döntési gépnek” nevezett rendszerből. Ezután öt fejezet következik a formális rendszerekről, a rekurzióelméletről és a metamatematikai alkalmazásokról általános környezetben. A befejező öt fejezet a kombinatorikus logika gyönyörű témájáról szól, amely nemcsak önmagában érdekes, hanem fontos alkalmazásokat is kínál a számítástechnikában. Az Argonne Nemzeti Laboratórium különösen részt vesz ezekben az alkalmazásokban, és büszkén mondhatom, hogy tagjai hasznát vették néhány eredményemnek a kombinatorikus logikában.
Ez a könyv nem terjed ki olyan fontos témákra, mint a halmazelmélet, a modellelmélet, a bizonyításelmélet és a rekurzióelmélet modern fejleményei, de az olvasó e kötet tanulmányozása után bőségesen felkészül e haladóbb témák tanulmányozására.
