Absolute logics - Akkanen, Jyrki (Mathaematica I, 1995)