Martin Frické Logic and the Organization of Information - New York Springer US 2012 ISBN: 978-1-4614-3088-9 Subjects--Topical Terms: Computer Science