Matemaattisen logiikan historia - logiikan kielien täydellisyys - Kaunisto, Niko (2010)