Proof theory : history and philosophical signifiance
Livre imprimé - Hendricks Vincent F., Jørgensen Klaus Frovin, Pedersen Stig Andur, cop. 2000
The conference on Proof Theory "History and Philosophical Significance held" in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its...
Axolot : histoires extraordinaires & sources d'étonnement . volume 1
Livre imprimé - Libon, Baud Patrick, Sandoval Tony, Lejeune Yannick, Peña Nancy, Long Guillaume, Boulet, Moog Camille, Ak, Montaigne Marion, Monde Geoffroy, Surcouf Erwann, Capucine, Sibylline, Lecourt Thomas, Amirganian Marion, 2014
Un album d'anecdotes insolites, d'expériences scientifiques et d'énigmes, mises en dessins par treize auteurs, dans la lignée du blog Axolot : un poulet sans tête, des ...
Le traumatisme crânien : guide à l'usage des proches
Livre imprimé - Leclercq Michel, DL 2007
Le traumatisme crânien est souvent considéré comme un séisme familial car il est, pour les proches, une source de grandes souffrances. Cet ouvrage se propose donc d'aid...
Développement informatique : apprenez à concevoir avant de programmer
Livre imprimé - Gineste Michel, 2018
Pour acquérir les fondements nécessaires à un professionnel de l'informatique au travers d'exemples concrets et de programmes opérationnels. Aborde les langages de prog...
La molécule et son double
Livre imprimé - Jacques Jean, Lecourt Dominique, DL 1992, cop. 1992
Union Catalogue of printed books of 15th, 16th and 17th centuries in European astronomical observatories
Livre imprimé - Grassi Giovanna, Maffei Paolo, 1989