Denne boken, 'Mathematical Logic' av Stephen Cole Kleene, henvender seg til bachelorstudenter som ikke har tidligere erfaring med matematisk logikk. Verkets første del gir en elementær, men grundig innføring i matematisk logikk av første orden. I den andre delen presenteres noen av de nyere ideene samt dyptgående resultater fra logisk forskning fra det 20. århundre. Dette arbeidet, som først ble utgitt i 1967, er en uvurderlig ressurs for alle som ønsker å forstå de fundamentale prinsippene og utviklingene innen matematiske logikkens felt.
