Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz Logic, Language, Information, and Computation - Springer Springer 2016 ISBN: 9783662529218 Source: EBOOK