Theory of Logical Calculi - häftad, Engelska, 2013