Mann, Allen L. Sandu, Gabriel and Sevenster, Merlijn Independence-friendly logic/ Allen L. Mann , Gabriel Sandu and Merlijn Sevenster - Cambridge, 2011 - 216 pages ISBN: 9780521149341 Subjects--Topical Terms: Mathematics Dewey Class. No.: 160.41 / MAN