Mathematical Logic and Computation av Jeremy (Carnegie Mellon University Pennsylvania) Avigad

I denne nye boken om matematisk logikk gir Jeremy Avigad en grundig innføring i de fundamentale resultatene og metodene innen emnet, med fokus på syntaktiske perspektiver. Boken fremhever logikk som studiet av formelle språk og systemer, samt hvordan disse benyttes korrekt. Temaene inkluderer bevisteori, modellteori, beregnings teori og aksiomatiske grunnlag. Spesiell oppmerksomhet rettes mot aspekter av matematisk logikk som er essensielle for datavitenskap, inkludert deduktive systemer, konstruktiv logikk, den enkelt typede lambda-kalkulus og type-teoretiske prinsipper. Boken er klar og engasjerende, med rikelig av eksempler og oppgaver, noe som gjør den til en utmerket introduksjon til emnet for både masterstudenter og viderekomne bachelorstudenter med interesse for logikk innen matematikk, datavitenskap og filosofi. Den fungerer også som en uvurderlig referanse for enhver praktiserende logikers bokhylle.