Abstract state machines : a method for high-level system design and analysis / Egon Börger, Robert Stärk.. - 1 vol. (X-438 p.) ; 24 cm+1 cédérom Cote : 003 BÖRG ABST Language vs. reality : why language is good for lawyers and bad for scientists / N. J. Enfield.. - 1 vol. (IX-298 p.) : ill., cartes ; 24 cm Cote : 159 ENFI LANG The concept of mind / Gilbert Ryle; [Foreword by Julia Tanney].. - 1 vol. (LXI-314 p.) ; 25cm Cote : 159 RYLE CONC Abstract recursion and intrinsic complexity / Yiannis N. Moschovakis.. - 1 vol. (VII-243 p.) ; 24 cm. - (Lecture Notes in Logic ISSN 1431-5459 ; 48 ) Cote : 160 MOSC ABST Intercourse / Andrea Dworkin; [foreword by Ariel Levy].. - The twentieth anniversary edition. - 1 vol. (xxxiv-315 p.) ; 20 cm Cote : 300.3 DWOR INTE Data, instruments, and theory : a dialectical approach to understanding science / Robert John Ackermann.. - 1 vol. (XII-216 p.) ; 25 cm Cote : 501 ACKE DATA Knowledges : historical and critical studies in disciplinarity / edited by Ellen Messer-Davidow, David R. Shumway, David J. Sylvan.. - 1 vol. (VIII-466 p.) : ill. ; 25 cm. - (Knowledge, disciplinarity and beyond ) Cote : 501 MESS KNOW Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz,... Christos H. Papadimitriou,... Hilary W. Putnam,... [et al.].. - 1 vol. (XXIII-515 p.-[1] p. de pl.) : ill., portr., couv. ill. ; 27 cm Cote : 510 BAAZ KURT The empire of chance : how probability changed science and everyday life / Gerd Gigerenzer, Zeno Swijtink, Theodore Porter... [et al.].. - 1 vol. (XVII-340 p.) : ill., couv. ill. ; 23 cm. - (Ideas in context ; [12] ) Cote : 519 GIGE EMPI Probability : a philosophical introduction / D.H. Mellor.. - London : Routledge, c2005.. - 1 vol. (152 p.) ; 24 cm Cote : 570 BUD USES The uses of life : a history of biotechnology / Robert Bud.. - 1 vol. (XVII- 298 p.) : ill ; 23 cm Cote : 570 BUD USES Companion to medicine in the twentieth century / edited by Roger Cooter and John Pickstone.. - 1 vol. (XIX-756 p.) : couv. ill. en coul. ; 25cm. - (Routledge world reference series ) Cote : 570 COOT COMP Philosophy of biology / Elliott Sober,..... - 2nd edition. - Boulder (Colo.) : Westview Press, 2000.. - 1 vol. (XVII-236 p.) : ill., graph., fig. ; 23 cm. - (Dimensions of philosophy series ) Cote : 570 SOBE PHIL