Logic and the Organization of Information - Martin Frické (Springer)