Documents liés : [268 document(s)]

Documents (Mots clés)

• [IremOuvrage] Logique et preuves mathématiques / Mercuriali, Pierre. -Malakoff : Dunod, 2024. - 48 p. ; 21 cm
  ISBN 9782100867004
  
• [MathOuvrage] Justification logic / Artemov, Sergei ; Fitting, Melvin Chris. -Cambridge : Cambridge university Press, 2019. - xxi, 247 p. ; 24 cm
  ISBN 9781108424912
  
• [IremOuvrage] Logicomix / Doxiadis, Apostolos ; Papadimitriou, Christos H. ; Ill. Papadatos, Alecos. -Paris : Vuibert, 2018. - 361 p. ; 24 cm
  ISBN 9782311102321
  
• [MathOuvrage] Reading, writing, and proving / Daepp, Ulrich ; Gorkin, Pamela. -New York NY : Springer, 2011. - xiii, 376 p. ; 24 cm
  ISBN 9781441994783
  https://link.springer.com/book/10.1007/978-1-4419-9479-0
  
• [MathOuvrage] Proofs and fundamentals / Bloch, Ethan D.. -New York NY : Springer, 2011. - xxiv, 359 p. ; 24 cm
  ISBN 9781441971265
  https://link.springer.com/book/10.1007/978-1-4419-7127-2
  
• [IremOuvrage] Analyse mathématique, fonctions définies sur une partie de la droite réelle / Nicolay, Samuel. -Paris : Ellipses, 2018. - XI-509 p. ; 24 cm
  ISBN 9782340024700
  
• [IremOuvrage] La logique / Cryan, Dan ; Shatil, Sharron ; Mayblin, Bill. -Les Ullis : EDP sciences, 2015. - 176 p. ; 18 cm
  ISBN 9782759817481
  https://univ-scholarvox-com.scd-rproxy.u-strasbg.fr/catalog/book/docid/88830253
  
• [IremOuvrage] Mathématiques et mystères / Delahaye, Jean-Paul. -Paris : Belin, 2016. - 191 p. ; 25 cm
  ISBN 9782410002362
  
• [MathOuvrage] The Banach-Tarski paradox / Tomkowicz, Grzegorz ; Wagon, Stan. -Cambridge : Cambridge university Press, 2016. - xviii, 348 p. ; 24 cm
  ISBN 9781107042599
  
• [IremOuvrage] L'étonnante histoire des machines logiques / Gardner, Martin ; Trad. Ghezzi, Mary. -Paris : Dunod, 1964. - VIII-190 p. ; 22 cm
  
• [IremOuvrage] La logique, pas à pas / Duparc, Jacques. -Lausanne : Presses polytechniques et universitaires romandes, 2015. - 570 p. ; 24 cm
  ISBN 9782889151264
  
• [IremOuvrage] PanoraMath 6 / Dir. Janvier, Martine ; Dir. Criton, Michel. -Paris : CIJM, 2015. - 274 p. ; 22 cm
  ISBN 9782954043111
  
• [MathOuvrage] Logic in computer science II / Ed. Ghilezan, Silvia. -Beograd : Matematicki institut SANU, 2015. - 223 p. ; 24 cm
  ISBN 9788680593579
  http://elib.mi.sanu.ac.rs/pages/browse_publication.php?db=zr
  
• [IremOuvrage] La logique / Dowek, Gilles. -Paris : Le Pommier, 2015. - 96 p. ; 18 cm
  ISBN 9782746508781
  
• [IremOuvrage] La logique au fil de l'eau / Groupe IREM. -Brest : IREM de Brest, 2014. - V-110 p. ; 30 cm
  ISBN 9782908887568
  
• [IremOuvrage] 25 théories mathématiques expliquées en 5 points clés / Bousquet, Marc. -Paris : Editions ESI, 2013. - 111 p. ; 24 cm
  ISBN 9782822602556
  
• [MathOuvrage] Logical foundations of mathematics and computational complexity / Pudlák, Pavel. -Cham : Springer, 2013. - xiv, 695 p. ; 24 cm
  ISBN 9783319001180
  https://link.springer.com/bookseries/3733
  
• [MathOuvrage] A Graphic apology for symmetry and implicitness / Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press, 2000. - xvii, 501 p. ; 24 cm
  ISBN 9780198507291
  
• [MathOuvrage] Dependence logic / Väänänen, Jouko. -Cambridge : Cambridge university Press, 2007. - ix, 225 p. ; 23 cm
  ISBN 9780521876599
  
• [MathOuvrage] Logic, induction and sets / Forster, Thomas. -Cambridge : Cambridge university Press, 2003. - x, 234 p. ; 23 cm
  ISBN 9780521826211
  
• [MathOuvrage] Kurt Gödel and the foundations of mathematics / Ed. Baaz, Matthias ; Ed. Papadimitriou, Christos H. ; Ed. Putnam, Hilary ; et al.. -Cambridge : Cambridge university Press, 2011. - xxiii, 515 p. ; 26 cm
  ISBN 9780521761444
  
• [IremOuvrage] Mathématiques & philosophie -Paris : Pole, 2010. - 158 p. ; 24 cm
  ISBN 9782848841106
  
• [IremOuvrage] Vous reprendrez bien un peu de vérité ? / Nordon, Didier. -Paris : Belin;Pour la Science, 2007. - 175 p. ; 22 cm
  ISBN 9782842450861
  
• [IremCongrès] Actes du séminaire national de didactique des mathématiques. Année 2007 / Ed. Gueudet-Chartier, Ghislaine ; Ed. Matheron, Yves. -Paris : IREM de Paris 7;ARDM, 2008. - 366 p. ; 30 cm
  ISBN 9782866122973
  
• [IremOuvrage] Jeux 9 / Association des professeurs de mathématiques de l'enseignement public. -Paris : APMEP;ACL-editions, 2011. - 192 p. ; 31 cm
  ISBN 9782912846693
  
• [IremOuvrage] Les mathématiques mode d'emploi / Godefroy, Gilles. -Paris : Odile Jacob, 2011. - 238 p. ; 22 cm
  ISBN 9782738123220
  
• [MathOuvrage] Roads to infinity / Stillwell, John. -Natick MA : AK Peters, 2010. - xi, 203 p. ; 24 cm
  ISBN 9781568814667
  
• [MathOuvrage] Models and games / Väänänen, Jouko. -Cambridge : Cambridge university Press, 2011. - ix, 367 p. ; 24 cm
  ISBN 9780521518123
  
• [MathOuvrage] The Cambridge companion to Frege / Ed. Potter, Michael ; Ed. Ricketts, Tom. -Cambridge : Cambridge university Press, 2010. - xvii, 639 p. ; 22 cm
  ISBN 9780521624794
  
• [IremOuvrage] Logicomix / Doxiadis, Apostolos ; Papadimitriou, Christos H. ; Ill. Papadatos, Alecos. -Paris : Vuibert, 2010. - 349 p. ; 24 cm
  ISBN 9782711743513
  
• [IremOuvrage] Analyse et algèbre BTS informatique de gestion / Verlant, Bernard. -Vanves : Foucher, 2010. - 319 p. ; 28 cm
  ISBN 9782216104222
  
• [IremOuvrage] Les ateliers de raisonnement logique / Teschner, Gérard. -Paris : Retz, 1993. - 191 p. ; 22 cm
  ISBN 9782725615134
  
• [MathOuvrage] Les Fondements logiques des mathématiques / Beth, Evert W.. -Paris : Gauthier-Villars, 1955. - 241 p. ; 26 cm
  
• [MathOuvrage] Handbook of logic language / Ed. van Benthem, Johan ; Ed. Ter Meulen, Alice. -Amsterdam, Cambridge MA : North-Holland;The MIT press, 1997. - xxiii, 1247 p. ; 25 cm
  ISBN 9780444817143
  
• [MathOuvrage] Knowledge and belief / Hintikka, Jaakko. -Ithaca NY : Cornell university, 1962. - x, 179 p. ; 22 cm
  
• [MathOuvrage] Modal logic / Chellas, Brian F.. -Cambridge : Cambridge university Press, 1980. - xii, 295 p. ; 23 cm
  ISBN 9780521295154
  
• [MathOuvrage] The Logic of provability / Boolos, George S.. -Cambridge : Cambridge university Press, 1993. - xxxvi, 275 p. ; 23 cm
  ISBN 9780521483254
  
• [MathOuvrage] Modal logic / Blackburn, Patrick ; de Rijke, Maarten ; Venema, Yde. -Cambridge
  : Cambridge university Press, 2001. - xxii, 554 p. ; 23 cm
  ISBN 9780521802000
  
• [IremOuvrage] Les démons de Gödel / Cassou-Noguès, Pierre. -Paris : Editions du Seuil, 2007. - 279 p. ; 22 cm
  ISBN 9782020923392
  
• [IremOuvrage] Ta moitié est plus grande que la mienne ! / Stewart, Ian N. ; Trad. Bordellès, Véronique ; Collab. Roux, Dominique. -Paris : Dunod, 2007. - XV-236 p. ; 21 cm
  ISBN 9782100512669
  
• [IremOuvrage] Maîtriser les mathématiques / Barthélemy, Georges. -Paris : Ellipses, 2007. - 143 p. ; 24 cm
  ISBN 9782729835927
  
• [IremOuvrage] La logique -Paris : Pole, 2004. - 139 p. ; 24 cm
  ISBN 9782848840185
  
• [IremOuvrage] Mille ans d'histoire des mathématiques / Dir. Lehning, Hervé. -Paris : Pole, 2005. - 146 p. ; 24 cm
  ISBN 9782848840291
  
• [IremOuvrage] Le mystère des nombres -Paris : Le Pommier, 2007. - 212 p. ; 18 cm
  ISBN 9782746503199
  
• [IremOuvrage] Lettres à une princesse d'Allemagne / Euler, Leonhard ; Dir. Chatterji, Srishti D.. -Lausanne : Presses polytechniques et universitaires romandes, 2003. - XXIX-512 p. ; 23 cm
  ISBN 9782880745240
  
• [IremOuvrage] Maths enseignement de spécialité Terminale L / Gauchon, Jean-Luc. -Paris : Ellipses, 2006. - 247 p. ; 24 cm
  ISBN 9782729829285
  
• [IremOuvrage] Les indispensables mathématiques et physiques pour tous / Moatti, Alexandre. -Paris : Odile Jacob, 2006. - 258 p. ; 22 cm
  ISBN 9782738117229
  
• [IremOuvrage] Logimath volumes 1 et 2 / Coord. Criton, Michel ; Collab. Novelli, Bernard ; Collab. Cohen, Gilles. Pole;Sport cérébral, 2005. - 95 p. ; 24 cm
  ISBN 978284840475
  
• [IremOuvrage] Atlas des mathématiques / Reinhardt, Fritz ; Soeder, Heinrich. -Paris : Librairie Générale Française, 1997. - 502 p. ; 19 cm
  ISBN 9782253130130
  
• [IremOuvrage] Calculs et formes / Coord. Boniface, Jacqueline. -Paris : Ellipses, 2003. - 222 p. ; 24 cm
  ISBN 9782729815868
  
• [IremOuvrage] Jeux 7 / Association des professeurs de mathématiques de l'enseignement public. -Paris : APMEP;ACL-editions, 2005. - 172 p. ; 30 cm
  
• [IremOuvrage] Jeux mathématiques -Paris : Pole, 2004. - 159 p. ; 24 cm
  ISBN 9782848840246
  
• [IremOuvrage] Tours extraordinaires de mathémagique / Hieronymus. -Paris : Ellipses, 2005. - 143 p. ; 24 cm
  ISBN 9782729826499
  
• [IremOuvrage] Leçons de mathématiques d'aujourd'hui. Volume 2 / Godefroy, Gilles ; Girard, Jean-Yves ; Tenenbaum, Gérald ; et al.. -Paris : Cassini, 2003. - XVII-360 p. ; 19 cm
  ISBN 9782842250584
  
• [MathCongrès] Logic and its applications / Ed. Blass, Andreas ; Ed. Zhang, Yi. -Providence RI : American mathematical Society, 2005. - vi, 306 p. ; 26 cm
  ISBN 9780821834749
  
• [IremOuvrage] Luck, logic and white lies / Bewersdorff, Joerg ; Trad. Kramer, David. -Wellesley, (MA) : AK Peters, 2005. - XVII-486 p. ; 23 cm
  ISBN 9781568812106
  
• [MathCongrès] Linear logic in computer science / Ed. Ehrhard,Thomas ; Ed. Girard, Jean-Yves ; Ed. Ruet, Paul ; Ed. Scott, Philip. -Cambridge : Cambridge university Press, 2004. - x, 381 p. ; 23 cm
  ISBN 9780521608572
  
• [IremCongrès] Actes du séminaire national de didactique des mathématiques. Année 2003 / Ed. Durand-Guerrier, Viviane ; Ed. Tisseron, Claude. -Paris : IREM de Paris 7, 2003. - 277 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/PS/IPS04006/IPS04006.pdf
  
• [IremOuvrage] Gödel / Cassou-Noguès, Pierre. -Paris : Les Belles Lettres, 2004. - 190 p. ; 21 cm
  ISBN 9782251760407
  
• [MathOuvrage] Logique mathématique. T. 2 / Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Dunod, 2003. - xv, 347 p. ; 24 cm
  ISBN 9782100054534
  
• [MathOuvrage] Introduction à la logique / David, René ; Nour, Karim ; Raffalli, Christophe. -Paris : Dunod, 2003. - xiii, 342 p. ; 24 cm
  ISBN 9782100067961
  
• [MathOuvrage] Eléments de théorie des automates / Sakarovitch, Jacques. -Paris : Vuibert, 2003. - xiv, 816 p. ; 25 cm
  ISBN 9782711748075
  
• [MathOuvrage] Analysis and logic / Henson, C. Ward ; Iovino, José ; Kechris, Alexander S. ; Odell, Edward ; Ed. Finet, Catherine ; Ed. Michaux, Christian. -Cambridge : Cambridge university Press, 2002. - xiv, 267 p. ; 23 cm
  
• [MathOuvrage] Logic and dialectics / Ioan, Petru ; Trad. Manoliu-Ciobanu, Carmen ; Trad. Manoliu, Silvia. -Iasi : Al. I. Cuza University of Iasi, 1990. - 264 p. ; 24 cm
  
• [MathOuvrage] The Two-valued iterative systems of mathematical logic / Post, Emil L.. -Princeton NJ : Princeton university Press, 1941. - 122 p. ; 23 cm
  
• [IremOuvrage] 100 friandises mathématiques / Ferachoglou, Robert ; Lafond, Michel. -Paris : Ellipses, 2003. - VI-167 p. ; 24 cm
  ISBN 9782729810191
  
• [MathOuvrage] Lectures in logic and set theory. Vol. 1 / Tourlakis, George. -Cambridge : Cambridge university Press, 2003. - xi, 328 p. ; 24 cm
  
• [IremOuvrage] Blocs logiques / Dienes, Z.P.. -Paris : OCDL
  
• [MathOuvrage] Mathematical logic and algebra / Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka;Interperiodica publishing, 2003. - 196 p. ; 28 cm
  
• [MathOuvrage] Model theory : an introduction / Marker, David. -New York NY : Springer, 2002. - viii, 342 p. ; 24 cm
  ISBN 9780387987606
  https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [IremOuvrage] Les mathématiques du club olympique Kangourou / Bachmakov, Marc. -Paris : Albert Blanchard;ACL-editions, 1998. - 256 p. ; 27 cm
  
• [IremOuvrage] Exos-malices, quatrième, troisième, seconde / Missenard, Didier. -Argenteuil : ACL-editions, 1997. - 159 p. ; 27 cm
  
• [IremOuvrage] La logique ou l'art de raisonner / Delmas-Rigoutsos (Yannis) ; Lalement, René. Le Pommier, 2002. - 159 p. ; 20 cm
  ISBN 9782746500358
  
• [MathOuvrage] The Number systems / Feferman, Solomon. -New York NY : Chelsea publishing Company, 1989. - xii, 418 p. ; 24 cm
  
• [IremOuvrage] Jeux 6 / Association des professeurs de mathématiques de l'enseignement public. -Paris : APMEP;ACL-editions, 2002. - 142 p. ; 30 cm
  
• [MathOuvrage] Boolean valued analysis / Kusraev, A. G. ; Trad. Kutateladze, S. S.. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 1999. - xii, 322 p. ; 25 cm
  https://link.springer.com/bookseries/6249
  
• [IremOuvrage] Elementaire, mon cher Watson ! / Bruce, Colin ; Trad. Devillers-Argouarc'h, Martine ; Trad. Paget, Daniel. Flammarion, 2002. - 312 p. ; 21 cm
  ISBN 9782080353559
  
• [IremOuvrage] Fondements des mathématiques 2 / Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan, 2001. - 624 p. ; 24 cm
  
• [IremOuvrage] Fondements des mathématiques 1 / Hilbert, David ; Bernays, Paul. -Paris : L'Harmattan, 2001. - 607 p. ; 24 cm
  ISBN 9782747515184
  
• [MathOuvrage] Cours complet pour la SUP MPSI option informatique / Monasse, Denis. -Paris : Vuibert, 1996. - 200 p. ; 24 cm
  
• [IremOuvrage] Magie & maths / Souder, Dominique ; Ill. Rabczuk, Julia. -Paris, Villejuif : Editions Pentaèdre;ACL-editions, 2001. - 64 p. ; 28 cm
  ISBN 9782876940949
  
• [MathOuvrage] Elements of logic via numbers and sets / Johnson, David L.. -Berlin, Heidelberg, London : Springer, 1998. - x, 174 p. ; 24 cm
  https://link.springer.com/bookseries/3423
  
• [IremOuvrage] La symétrie dans tous ses états / Bacry, Henri ; Préf. Connes, Alain. -Paris : Vuibert, 2000. - 447 p. ; 24 cm
  ISBN 9782711752676
  
• [IremOuvrage] La maternelle en jeux mathématiques / IREM de Besançon ; Bettinelli, Bernard. -Besançon : Presses universitaires de Franche-Comté, 2006. - 109 p. ; 30 cm
  ISBN 9782846270250
  
• [IremOuvrage] Statut logique des énoncés dans la classe de mathématiques / Durand-Guerrier, Viviane ; et al.. -Lyon : IREM de Lyon, 2000. - 117 p. ; 30 cm
  
• [IremOuvrage] Qu'est-ce que les mathématiques / Verdier, Norbert. -Paris : Le Pommier, 2000. - 159 p. ; 20 cm
  ISBN 9782746500327
  
• [IremOuvrage] Pourquoi pas ? des mathématiques -Strasbourg : IREM de Strasbourg, 2000. - 120 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/ST/IST00020/IST00020.pdf ;
  
• [IremOuvrage] Apprentissage des structures logiques / Antier, Gérard. -Rennes : IREM de Rennes, 2000. - 80 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/RN/IRN02004/IRN02004.pdf
  
• [IremOuvrage] 2 500 ans de mathématiques / Barthélemy, Georges. -Paris : Ellipses, 1999. - 122 p. ; 19 cm
  ISBN 9782729899820
  
• [IremOuvrage] Algèbre linéaire du lycée à la fac / Chartier, Ghislaine . -Rennes : IREM de Rennes, 1999. - 59 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/RN/IRN02017/IRN02017.pdf
  
• [IremCongrès] Mathématiques et langages -Paris : Hachette, 1995. - 143 p. ; 23 cm
  ISBN 9782011704078
  
• [IremOuvrage] Logique, informatique et paradoxes / Delahaye, Jean-Paul. -Paris : Pour la Science;Belin, 1993. - 158 p. ; 25 cm
  ISBN 9782902918942
  
• [IremOuvrage] 50 énigmes mathématiques faciles / Coord. Criton, Michel. -Paris : Pole, 1997. - 96 p. ; 24 cm
  ISBN 9782909737171
  
• [IremOuvrage] 50 énigmes mathématiques pour lycéens & + / Coord. Criton, Michel. -Paris : Pole, 1997. - 96 p. ; 24 cm
  ISBN 9782909737195
  
• [IremOuvrage] Langage, logique, démonstrations... et "vérité" mathématique / Condamine, Marcel. -Vitry-sur-Seine, Paris : Aguer;Delagrave, 1996. - 248 p. ; 24 cm
  ISBN 9782206000718
  
• [IremThèse] Logique et raisonnement mathématique / Durand-Guerrier, Viviane. -Lyon : Université de Lyon I, 1996. - 291 + 62 p. ; 30 cm
  
• [IremOuvrage] Langage et raisonnement / Duvert, Rémi. -Saint-Quentin : IREM de Picardie, 1996. - 103 p. ; 30 cm
  
• [IremOuvrage] Six thèmes pour six semaines / Myx, André. -Paris : Cedic, 1975. - 341 p. ; 21 cm
  
• [IremOuvrage] Modèles mathématiques / Cundy, H. M. ; Rollett, A.P.. -Paris : Cedic, 1978. - 315 p.-1 f. de dépl. ; 21 cm
  
• [IremOuvrage] Quelques éléments de logique en classe de première -Besançon : IREM de Besançon, 1996. - 18 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/BC/IBC96017/IBC96017.pdf
  
• [IremOuvrage] Mathématique Seconde / Condamine, Marcel. -Paris : Delagrave, 1981. - 447 p. ; 24 cm
  
• [IremOuvrage] Algèbre Seconde C / Lentin, André ; Girard, Georges. -Paris : Hachette, 1965. - 352 p. ; 25 cm
  
• [IremOuvrage] Mathématique Seconde CT. Tome 1 / Keramsi, Georges ; Queysanne, Michel. -Paris : Fernand Nathan, 1969. - II-217 p. ; 24 cm
  
• [IremOuvrage] Algèbre linéaire et applications / Thuizat, A. ; Girault, G.. -Paris : Technique & Vulgarisation, 1975. - 243 p. ; 23 cm
  
• [IremOuvrage] Mathématique Seconde A / Pitel, Gilbert ; Durant, Claire. -Paris : Fernand Nathan, 1969. - 325 p. ; 24 cm
  
• [IremOuvrage] Algèbre, trigonométrie et notions d'analyse / Warusfel, André ; Lentin, André ; Girard, Georges. -Paris : Hachette, 1967. - 478 p. ; 25 cm
  
• [IremOuvrage] Aleph 1, Première CDE -Paris : Hachette, 1974. - 434 p. ; 24 cm
  
• [IremOuvrage] Aleph 0. Première CDE. Vol. 1 / Gautier, C. ; Lentin, André ; Girard, G. . -Paris : Hachette, 1970. - 160 p. ; 24 cm
  
• [IremOuvrage] Mathématique Terminale C et T. Tome 1 / Vissio, P. ; Condamine, Marcel. -Paris : Delagrave, 1967. - 638 p. ; 22 cm
  
• [IremOuvrage] Activités pour jeunes éprouvant des difficultés en mathématiques / Flandrois, Yves. -Nantes : IREM de Nantes, 1995. - non paginé ; 30 cm
  https://publimath.univ-irem.fr/numerisation/NA/INA95002/INA95002.pdf
  
• [IremOuvrage] Eléments de logique pour enseignants en mathématiques / Adda, Josette. -Paris : IREM de Paris 7, 1970. - 60 p. ; 30 cm
  
• [IremOuvrage] Logique juridique / Kalinowski, Georges. -Paris-Nord : IREM de Paris-Nord, 1983. - 22 p. ; 30 cm
  
• [IremOuvrage] Logique en ontologie / Mouloud, Noël. -Paris-Nord : IREM de Paris-Nord, 1980. - 29 p. ; 30 cm
  
• [IremOuvrage] Enseignement élémentaire des mathématiques, 2 -Bordeaux : IREM de Bordeaux, 1969. - ii-57 p. ; 26 cm
  
• [IremOuvrage] Enseignement élémentaire des mathématiques, 4 -Bordeaux : IREM de Bordeaux, 1970. - 56 p. ; 26 cm
  
• [IremOuvrage] Enseignement élémentaire des mathématiques, 9 -Bordeaux : IREM de Bordeaux, 1971. - 70 p. ; 30 cm
  
• [IremOuvrage] Une Approche de la logique en sixième -Bordeaux : IREM de Bordeaux, 1973. - 56 p. ; 30 cm
  
• [IremOuvrage] Enseignement élémentaire des mathématiques, 1 -Bordeaux : IREM de Bordeaux, 1969. - 55 p. ; 27 cm
  
• [IremOuvrage] Formation des maîtres / Brousseau, Guy. -Bordeaux : IREM de Bordeaux, 2001
  
• [IremOuvrage] Une Approche de la logique en sixième - cinquième, tome 1 -Bordeaux : IREM de Bordeaux, 1974. - 57 p. ; 29 cm
  
• [IremOuvrage] La Formation des maîtres de l'école élémentaire en enseignement des mathématiques / Daubet, M. ; Delis, M. ; Vinrich, Gérard. -Bordeaux : IREM de Bordeaux, 1974. - 97 p. ; 29 cm
  
• [IremOuvrage] Premier cycle, première année -Montpellier : IREM de Montpellier, 1974. - 86 p. ; 30 cm
  
• [IremOuvrage] 1850 exercices de mathématiques pour l'oral du CAPES de mathématiques et des concours des grandes écoles / Moisotte, Luc. -Paris : Dunod, 1978. - X-158 p. ; 24 cm
  
• [IremOuvrage] Le mythe des maths / Tobias, Sheila. -Montréal, Paris : Etudes vivantes, 1980. - 172 p. ; 21 cm
  
• [IremCongrès] Logique, argumentation, conversation / Bange, P.. -Berne : Peter Lang, 1983. - 221 p. ; 21 cm
  
• [IremOuvrage] How children learn mathematics / Copeland, Richard, W.. -London : Macmillan, 1970. - VIII-310 p. ; 24 cm
  
• [IremOuvrage] Mathematics as an educational task / Freudenthal, Hans. -Dordrecht : D. Reidel publishing company, 1973. - XII-680 p. ; 23 cm
  
• [IremOuvrage] Une Introduction à la logique / Echivard, Michel. -Dijon : IREM de Dijon, 1976. - 28 p. ; 30 cm
  
• [IremThèse] L'enseignement des méthodes de classification / Orus Baguena, Pilar. -Bordeaux : IREM, 1986. - 151 p. ; 30 cm
  
• [IremOuvrage] Compte rendu des expériences réalisées en 1975-76 pour la coordination des enseignements de mathématique et de physique -Limoges : IREM de Limoges, 1976. - 30 p. ; 30 cm
  
• [IremOuvrage] Notions de logique / Peyrieras, J.-M. ; Rougier, J.C.. -Limoges : IREM de Limoges, 1969. - 18 p. ; 30 cm
  
• [IremCongrès] Colloque math-physique -Limoges : IREM de Limoges, 1976. - 39 p. ; 30 cm
  
• [IremOuvrage] Le Volley-ball -Limoges : IREM de Limoges, 1982. - 54 p. ; 30 cm
  
• [IremOuvrage] Logique et équations -Caen : IREM de Caen, 1974. - 46 p.
  
• [IremOuvrage] Logique -Clermont-Ferrand : IREM de Clermont-Ferrand, 1974. - 104 p. ; 30 cm
  
• [IremOuvrage] Logique au CM 2 / Zammit, Ch.. -Clermont-Ferrand : IREM de Clermont-Ferrand. - 17 p. ; 30 cm
  
• [IremOuvrage] Une année de mathématiques au CP -Clermont-Ferrand : IREM de Clermont-Ferrand, 1978. - 82 p. ; 30 cm
  
• [IremOuvrage] Preuves et réfutations / Lakatos, Imre ; Trad. Balacheff, Nicolas ; Trad. Laborde, J.-M.. -Paris : Hermann, 1984. - XXIV-218 p. ; 24 cm
  ISBN 9782705614126
  https://univ-scholarvox-com.scd-rproxy.u-strasbg.fr/catalog/book/88853618
  
• [IremOuvrage] Ecrits logiques et philosophiques / Frege, Gottlob. -Paris : Editions du Seuil, 1971. - 233 p. ; 21 cm
  ISBN 9782020027427
  
• [IremOuvrage] La Mathématique à l'école élémentaire -Rennes : IREM de Rennes, 1974. - 80 p. ; 30 cm
  
• [IremOuvrage] Le théorème de Gödel / Cesar, Jean. -Besançon : IREM de Besançon, 1980. - 31 p. ; 30 cm
  
• [IremOuvrage] Informatique générale / Maurat, Alain. -Besançon : IREM de Besançon, 1982. - 91 p. ; 30 cm
  
• [IremCongrès] L'Enseignement des mathématiques -Lyon : IREM de Lyon, 1986. - 87 p. ; 30 cm
  
• [IremOuvrage] Vulgarisation mathématique - Vol. 2 / Guinot, Marc. -Lyon : IREM de Lyon, 1987. - 109 p.
  
• [IremOuvrage] L'Implication epsilonique -Lille : IREM de Lille, 1980. - 40 p. ; 30 cm
  
• [IremOuvrage] La Formation du raisonnement -Lille : IREM de Lille, 1980. - 83 p. ; 30 cm
  
• [IremOuvrage] L'Apprentissage du langage logico-mathématique -Saint Quentin : IREM de Picardie, 1977. - 115 p. ; 29 cm
  
• [IremOuvrage] Liaison mathématique - physique : logique / Caullot, Gérard ; Roguet, Marie-Madeleine. -Reims : IREM de Reims, 1978. - 45 p. ; 29 cm
  
• [IremOuvrage] La logique des erreurs / Thiebault, André. -Reims : IREM de Reims, 1985. - 72 p. ; 30 cm
  
• [IremOuvrage] Mathématique appliquée à quelques situations -Rennes : IREM de Rennes, 1974. - 66 p. ; 30 cm
  
• [IremOuvrage] Logique pour l'enseignement / Houdebine, J.. -Rennes : IREM de Rennes, 1975. - 58 p. ; 30 cm
  
• [IremOuvrage] Au carrefour des maths et du français -Rouen : IREM de Rouen, 1987. - 108 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/RO/IRO87004/IRO87004.pdf
  
• [IremOuvrage] Initiation à la logique mathématique / Jeremy, Louis. -Poitiers : IREM de Poitiers, 1980. - 198 p. ; 30 cm
  
• [IremOuvrage] Quelques Difficultés pédagogiques dans l'enseignement de l'analyse / Seroux ; Fouques. -Nantes : IREM de Nantes, 1977. - 82 p. ; 29 cm
  
• [IremOuvrage] Une Introduction à la logique / Durand-Bossche, Van den. -Nantes : IREM de Nantes, 1975. - 152 p. ; 30 cm
  
• [IremOuvrage] Logique -Nancy : IREM de Lorraine, 1973. - 73 p. ; 30 cm
  
• [IremOuvrage] Logique / Buisson, Pierre. -Strasbourg : IREM de Strasbourg, 1971
  
• [IremOuvrage] Questions de méthodes au XVIIe siècle -Le Mans : IREM Le Mans, 1994. - 250 p. ; 29 cm
  https://publimath.univ-irem.fr/numerisation/NA/INA94008/INA94008.pdf
  
• [IremOuvrage] La mathématique et son enseignement, en guise de préface. Chapitre I / Glaeser, Georges. -Strasbourg : IREM de Strasbourg, 1985. - 95 p. ; 30 cm
  
• [IremOuvrage] Logique et enseignement mathématique / El Faqih, El Mekki. -Strasbourg : IREM de Strasbourg, 1991. - 30 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/ST/IST91044/IST91044.pdf ;
  
• [IremOuvrage] Logique et raisonnement mathématique / El Faqih, El Mekki. -Strasbourg : IREM de Strasbourg, 1991. - 18 p. ; 30 cm
  https://publimath.univ-irem.fr/numerisation/ST/IST91043/IST91043.pdf ;
  
• [IremOuvrage] Essai sur la psychologie de l'invention dans le domaine mathématique / Hadamard, Jacques ; Trad. Hadamard, Jacqueline. -Paris : Gauthier-Villars, 1975. - 134 p. ; 21 cm
  
• [IremOuvrage] Proofs and refutations / Lakatos, Imre. -Cambridge : Cambridge university Press, 1976. - XII-174 p. ; 22 cm
  
• [IremOuvrage] Obstacles et déblocages en mathématiques / Bruston, Michel ; Rouxel, Claude. -Paris : APMEP, 1983. - 112 p. ; 21 cm
  https://publimath.univ-irem.fr/numerisation/AAP/AAP83003/AAP83003.pdf
  
• [IremOuvrage] Eléments de logique pour servir à l'enseignement mathématique / Adda, Josette ; Faivre, W.. -Paris : APMEP, 1971. - 52 p. ; 24 cm
  https://publimath.univ-irem.fr/numerisation/AAP/AAP71001/AAP71001.pdf
  
• [IremOuvrage] Pensée logico-mathématique / Houdé, Olivier ; Miéville, Denis ; Collab. Changeux, Jean-Pierre ; et al.. -Paris : Presses universitaires de France, 1993. - X-242 p. ; 22 cm
  ISBN 9782130459927
  
• [IremOuvrage] L'apprentissage de la mathématique d'aujourd'hui / Fletcher, T.J.. -Paris : OCDL, 1966. - 391 p., 8 p. de pl. coul, 3 p. de pl. n&
  
• [IremOuvrage] Les jeux mathématiques d'Eurêka / Eurêka. -Paris : Dunod, 1979. - 177 p. ; 22 cm
  
• [IremOuvrage] Logique / Fuchs, Aimé ; Reeb, Georges. -Strasbourg : Institut de recherche mathématique avancée, 1986. - 317 p. ; 29 cm
  
• [IremOuvrage] Logique et enseignement de la mathématique / Gauthier, R. ; Gouret, A.. -Paris : OCDL;Hatier, 1971. - 96 p. ; 22 cm
  
• [IremOuvrage] Cours de licence / Glaeser, Georges. -Strasbourg : Institut de mathématique, 1968. - XLVI-98-72 p. ; 27 cm
  
• [IremOuvrage] Sur les fondements de la mathématique / Lesniewski, Stanislaw. -Paris, 2 : Hermès, 1989. - 148 p. ; 23 cm
  
• [IremOuvrage] Surprenants triangles / Odier, Marc ; Roussel, Yves. -Paris : Cedic, 1976. - 207 p. ; 21 cm
  
• [IremOuvrage] Le jardin du sphinx / Berloquin, Pierre. -Paris : Bordas, 1981. - 198 p. ; 22 cm
  
• [IremThèse] Interprétations d'énoncés implicatifs et traitements logiques / Radford, Luis. -Strasbourg : Université Louis Pasteur, 1985. - 202 p. ; 30 cm
  
• [IremThèse] A study of logical reasonning using the game "master mind" / Trimmer, Ronald Gene. -Ann Arbor : University microfilms international, 1982. - XVII-565 p. ; 21 cm
  
• [IremOuvrage] The world of mathematics, vol. 3 / Ed. Newman, James R.. -Redmond, Wash. : Tempus, 1988. - VIII-1393-1995 et I-61 p. ; 23 cm
  
• [IremOuvrage] Logique et mathématique chez Bernard Bolzano / Sebestik, Jan. -Paris : Librairie Philosophique J. Vrin, 1992. - 522 p. ; 21 cm
  ISBN 9782711610679
  
• [MathCongrès] African Americans in mathematics II / Ed. Dean, Nathaniel ; Ed. McZeal, Cassandra ; Ed. Williams, Pamela J. ; American mathematical Society. -Providence RI : American mathematical Society, 1999. - xii, 168 p. ; 26 cm
  
• [MathOuvrage] Dictionary of symbols of mathematical logic / Ed. Feys, Robert ; Ed. Fitch, Frederic B.. -Amsterdam : North-Holland, 1969. - xiv, 171 p. ; 23 cm
  
• [MathOuvrage] Sweet reason / Tymoczko, Tom ; Henle, Jim. -New York NY : Springer, 2000. - xxii, 644 p. ; 24 cm
  https://link.springer.com/bookseries/3229
  
• [MathCongrès] Theories of types and proofs / Ed. Takahashi, Masako ; Ed. Okada, Mitsuhuro ; Ed. Dezani-Ciancaglini, Mariangiola. -Tokyo : Mathematical Society of Japan, 1998. - vii, 295 p. ; 25 cm
  https://projecteuclid.org/ebooks/mathematical-society-of-japan-memoirs
  
• [MathOuvrage] Subsystems of second order arithmetic / Simpson, Stephen G.. -Berlin, Heidelberg, New York NY : Springer, 1999. - xiv, 444 p. ; 25 cm
  ISBN 9783540648826
  
• [MathCongrès] Sets and proofs / Ed. Cooper, S. Barry ; Ed. Truss, John K.. -Cambridge : Cambridge university Press, 1999. - ix, 436 p. ; 23 cm
  
• [MathOuvrage] Einfuehrung in die Grundlagen der Mathematik / Deutsch, Michael. -Bremen : Universitaetsdruckerei Bremen, 1999. - 343 p. ; 30 cm
  
• [MathOuvrage] Computational complexity / Papadimitriou, Christos H.. -Menlo Park CA, New York NY, Reading MA : Addison-Wesley, 1994. - xv, 523 p. ; 24 cm
  
• [MathOuvrage] Provability, complexity, grammars / Beklemishev, Lev ; Pentus, Mati ; Vereshchagin, Nikolai. -Providence RI : American mathematical Society, 1999. - ix, 172 p. ; 26 cm
  
• [MathOuvrage] Logique et mathématiques pour l'informatique et l'I.A. / Jacquemin, Christian. -Barcelone, Milan, Paris : Masson, 1994. - x, 238 p. ; 21 cm
  
• [MathOuvrage] An Introduction to logic and scientific method / Cohen, Morris R. ; Nagel, Ernest. -Burlingame, New York NY : Harcourt Brace & World, 1934. - xii, 467 p. ; 22 cm
  
• [MathOuvrage] Logique, réduction, résolution / Lalement, René ; Préf. Demazure, Michel. -Barcelone, Milan, Paris : Masson, 1990. - xii, 370 p. ; 25 cm
  ISBN 9782225821042
  
• [MathCongrès] Mathematical logic in computer science / Ed. Dömölki, B. ; Ed. Gergely, T.. -Amsterdam, New York NY, Oxford : North-Holland, 1981. - 758 p. ; 24 cm
  
• [MathOuvrage] Mathématiques pour l'informatique / Arnold, Andre ; Guessarian, Irene. -Barcelone, Milan, Paris : Masson, 1997. - xiii, 399 p. ; 24 cm
  
• [MathOuvrage] The Principles of mathematics revisited / Hintikka, Jaakko. -Cambridge : Cambridge university Press, 1996. - xii, 288 p. ; 21 cm
  
• [MathCongrès] Advances in linear logic / Ed. Girard, Jean-Yves ; Ed. Lafont, Yves ; Ed. Regnier, Laurent. -Cambridge : Cambridge university Press, 1995. - vii, 389 p. ; 24 cm
  
• [MathOuvrage] Mathématiques pour l'informatique / Arnold, Andre ; Guessarian, Irene. -Barcelone, Bonn, Milan, Paris : Masson, 1993. - xiv, 349 p. ; 24 cm
  
• [MathOuvrage] Selected topics in algebra and its interrelations with logic, number theory and algebraic geometry / Bucur, Ionel. -Boston, Bucuresti, Dordrecht, Lancaster : Editura Academiei Republicii Socialiste Romania;D. Reidel publishing company, 1984. - viii, 406 p. ; 22 cm
  
• [MathOuvrage] Collected works. Vol. I / Neumann, John Von ; Ed. Taub, A.H.. -Oxford : Pergamon press, 1961. - x, 654 p. ; 25 cm
  
• [MathOuvrage] Duality and definability in first order logic / Makkai, Michael. -Providence RI : American mathematical Society, 1993. - x, 106 p. ; 26 cm
  ISBN 9780821825655
  
• [MathCongrès] Séminaire logique et algorithmique / Ed. Dehornoy, Patrick. -Caen : Université de Caen, 1992. - 300 p. ; 30 cm
  
• [MathOuvrage] Topology via logic / Vickers, Steven. -Cambridge, New York, Port Chester : Cambridge university Press, 1989. - 200 p. ; 25 cm