Logic and the organization of information - Frické, Martin (Springer, 2012)