Jouko Väänänen : Matemaattinen logiikka

Jouko Väänäsen 'Matemaattinen logiikka' on ensimmäinen suomenkielinen modernin matemaattisen logiikan oppikirja, jossa esitellään alan perustavanlaatuiset kysymykset totuuden, olemassaolon ja päättelyn merkityksestä matematiikassa. Kirja tarkastelee muun muassa tietokoneiden teoreettisia mahdollisuuksia ja rajoituksia sekä aksioomaattisen menetelmän taustaa.