Matemaattisen logiikan historia - logiikan kielien täydellisyys Tekijä Kaunisto, Niko