" Analysis and logic / " edited by Catherine Finet & Christian Michaux ; authors, C. Ward Henson ... [et al.].