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

Documents (Mots clés)

• [MathOuvrage] An invitation to mathematical logic / Marker, David. -Cham : Springer, 2024. - xviii, 357 p. ; 24 cm
  ISBN 9783031553677
  
• [IremOuvrage] L'art du raccourci / du Sautoy, Marcus ; Trad. Clarinard, Raymond. -Paris : Editions Héloïse d'Ormesson, 2023. - 383 p. ; 21 cm
  ISBN 9782350878829
  
• [IremOuvrage] Mathématiques à travers les siècles. Tome III / Garcia, Michel. -Paris : Calvage et Mounet, 2023. - IV-760 p. ; 24 cm
  ISBN 9782493230171
  
  
• [IremOuvrage] Les métamorphoses du calcul / Dowek, Gilles. -Paris : Le Pommier, 2017. - 222 p. ; 20 cm
  ISBN 9782746509108
  
  
• [IremOuvrage] Logique / Le Barbenchon, Pierre ; Pinchinat, Sophie ; Schwarzentruber, François. -Malakoff : Dunod, 2022. - 286 p. ; 24 cm
  ISBN 9782100821587
  
• [MathOuvrage] Mathematical logic / Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer, 2021. - ix, 304 p. ; 24 cm
  ISBN 9783030738389
  
• [MathOuvrage] Justification logic / Artemov, Sergei ; Fitting, Melvin Chris. -Cambridge : Cambridge university Press, 2019. - xxi, 247 p. ; 24 cm
  ISBN 9781108424912
  
• [IremOuvrage] 100 énigmes logiques et mathématiques du temps du certificat d'études / Lebrun, Sandra ; Audrain, Loïc. -Paris : jeu logique, 2016. - 63 p. ; 22 cm
  ISBN 9782035925213
  
• [IremOuvrage] Petites énigmes mathématiques et logiques / Stewart, Ian N. ; Trad. Courcelle, Olivier. -Paris : Librio, 2016. - 92 p. ; 21 cm
  ISBN 9782290100769
  
• [IremOuvrage] Les démonstrations / Dir. Cohen, Gilles. -Paris : Pole, 2015. - 162 p. ; 24 cm
  ISBN 9782848841984
  
• [IremOuvrage] La logique, un aiguillon pour la pensée / Delahaye, Jean-Paul. -Paris : Belin, 2012. - 199 p. ; 25 cm
  ISBN 9782842451158
  
• [IremOuvrage] Initiation à la logique formelle / Lucas, Thierry ; Berlanger, Isabelle ; Degauquier, Vincent. -Bruxelles : De Boeck Université, 2014. - 263 p. ; 24 cm
  ISBN 9782804182489
  
• [IremOuvrage] Preuves sans mots / Nelsen, Roger B. ; Préf. Delahaye, Jean-Paul ; Trad. Levy-Leblond, Jean-Marc. -Paris : Hermann, 2013. - 276 p. ; 24 cm
  ISBN 97822705684662
  
• [IremOuvrage] Enseigner la démonstration au collège / Barichard, Alain ; Crumière, Anne ; Fleury, Marie-Renée ; et al.. -Marseille : IREM de Marseille, 2012. - 132 p. ; 30 cm
  
• [MathOuvrage] Graph structure and monadic second-order logic / Courcelle, Bruno ; Engelfriet, Joost. -Cambridge : Cambridge university Press, 2012. - xiv, 728 p. ; 24 cm
  ISBN 9780521898331
  
• [MathOuvrage] Independence-friendly logic / Mann, Allen L. ; Sandu, Gabriel ; Sevenster, Merlijn. -Cambridge : Cambridge university Press, 2011. - vi, 208 p. ; 23 cm
  ISBN 9780521149341
  
• [MathOuvrage] Relational mathematics / Schmidt, Gunther. -Cambridge : Cambridge university Press, 2011. - xiii, 567 p. ; 24 cm
  ISBN 9780521762687
  
• [MathOuvrage] Implication, formalisation et logique naturelle / Beth, Evert W. ; Grize, Jean-Blaise ; Matalon, B. ; Naess, A. ; Piaget, J. ; Martin, Roger. -Paris : Presses universitaires de France, 1962. - 195 p. ; 23 cm
  
• [MathOuvrage] Reasoning about knowledge / Fagin, Ronald ; Halpern, Joseph Y. ; Moses, Yoram ; Vardi, Moshe Y.. -Cambridge : The MIT press, 1995. - xiii, 517 p. ; 23 cm
  ISBN 9780262562003
  
• [MathOuvrage] A Tour through mathematical logic / Wolf, Robert S.. -Washington DC : Mathematical Association of America, 2005. - xv, 397 p. ; 22 cm
  ISBN 9780883850367
  
• [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
  
• [MathOuvrage] The Classical decision problem / Börger, Egon ; Grädel, Erich ; Gurevich, Yuri. -Berlin, Heidelberg, New York NY : Springer, 1997. - x, 482 p. ; 24 cm
  ISBN 9783540423249
  
• [MathOuvrage] Set theory / Jech, Thomas. -Berlin : Springer, 2003. - xiii, 769 p. ; 24 cm
  ISBN 9783540440857
  https://link.springer.com/bookseries/3733
  
• [MathOuvrage] From Frege to Gödel / Van Heijenoort, Jean. -Cambridge MA : Harvard university press, 1967. - x, 660 p. ; 26 cm
  
• [MathOuvrage] How to read and do proofs / Solow, Daniel. -Chichester, New York NY, Weinheim : John Wiley, 2002. - xviii, 202 p. ; 24 cm
  
• [MathOuvrage] Intelligence artificielle et informatique théorique / Alliot, Jean-Marc ; Schiex, Thomas. -Toulouse : Cépaduès éditions, 1993. - 520 p. ; 21 cm
  
• [MathOuvrage] A Course in model theory / Poizat, Bruno ; Trad. Klein, Moses. -New York NY : Springer, 2000. - xxxi, 443 p. ; 24 cm
  https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
  
• [MathOuvrage] Sets, logic and categories / Cameron, Peter J.. -London : Springer, 1999. - x, 180 p. ; 24 cm
  https://link.springer.com/bookseries/3423
  
• [MathOuvrage] Set theory / Jech, Thomas. -Berlin, Heidelberg, New York NY : Springer, 1997. - xiv, 634 p. ; 24 cm
  https://link.springer.com/bookseries/634
  
• [MathOuvrage] Introduction à la logique mathématique / Novikov, P. S. ; Trad. Sarthou, C.. -Paris : Dunod, 1964. - viii, 332 p. ; 25 cm
  
• [MathCongrès] Proceedings of the IX latin american symposium on mathematical logic. part 2 / Ed. Abad, Manuel ; INMABB ; CONICET. -Bahia Blanca : Universidad nacional del Sur, 1994. - 199 p. ; 27 cm
  http://inmabb-conicet.gob.ar/publicaciones/notas-de-logica-matematica
  
• [MathOuvrage] La Logique mathématique et le calcul mécanique / Porte, Jean. -Bahia Blanca : Universidad nacional del Sur;Instituto de Matematica, 1972. - 105 p. ; 27 cm
  http://inmabb-conicet.gob.ar/publicaciones/notas-de-logica-matematica
  
• [MathCongrès] Proceedings of the IX latin american symposium on mathematical logic. part 1 / Ed. Abad, Manuel. -Bahia Blanca : Universidad nacional del Sur, 1993. - 190 p. ; 27 cm
  http://inmabb-conicet.gob.ar/publicaciones/notas-de-logica-matematica
  
• [MathOuvrage] Mathematical logic / Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -New York NY : Springer, 1994. - x, 289 p. ; 24 cm
  https://link.springer.com/bookseries/666
  
• [MathThèse] Recherches sur la théorie de la démonstration / Herbrand, Jacques. -Paris : Faculté des Sciences de Paris, 1930. - ii, 128 p. ; 27 cm
  http://www.numdam.org/thesis
  
• [MathOuvrage] Perspectives on the history of mathematical logic / Ed. Drucker, Thomas. -Basel, Berlin, Boston : Birkhäuser, 1991. - xxiii, 195 p. ; 25 cm
  https://link.springer.com/book/10.1007/978-0-8176-4769-8
  
• [MathCongrès] Mathematical logic and applications / Ed. Shinoda, J. ; Ed. Slaman, T.A. ; Ed. Tugue, T.. -Berlin : Springer, 1989. - 222
  https://doi.org/10.1007/BFb0083663
  
• [MathOuvrage] Introduction to mathematical logic. Vol. 1 / Church, Alonzo. -Princeton NJ : Princeton university Press, 1956. - ix, 378
  
• [MathOuvrage] The Logical basis for computer programming. Vol. 1 / Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley, 1985. - xii, 618
  
• [MathOuvrage] Logic and structure / Dalen, Dirk van. -Berlin : Springer, 1983. - vii, 207
  https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
  
• [MathOuvrage] Mathematical logic with special reference to the natural numbers / Steen, S.W.P.. -Cambridge : Cambridge university Press, 1972. - xvi, 638
  
• [MathCongrès] Mathematical logic in latin america / Ed. Arruda, A.I. ; Ed. Chuaqui, R. ; Ed. Da Costa, N.C.A.. -Amsterdam : North-Holland, 1980. - xii, 392
  
• [MathOuvrage] S. Lesniewski's lecture notes in logic / Lesniewski, Stanislaw ; Ed. Srzednicki, Jan T.J. ; Ed. Stachniak, Zbigniew. -Dordrecht : Kluwer Academic Publishers, 1988. - xi, 183
  
• [MathCongrès] Sets, models and recursion theory / Ed. Crossley, J.N.. -Amsterdam : North-Holland, 1967. - 331
  
• [MathCongrès] Mathematical logic / Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -New York : Marcel Dekker, 1978. - xii, 303
  
• [MathOuvrage] Mathematical logic / Kleene, Stephen C.. -New York : John Wiley, 1967. - xiii, 398
  
• [MathOuvrage] Principles of mathematical logic / Hilbert, David ; Ackermann, W.. -New York : Chelsea publishing Company, 1950. - xii, 172
  
• [MathOuvrage] Frege and Gödel / Ed. Van Heijenoort, Jean. -Cambridge : Harvard university press, 1970. - 116
  
• [MathOuvrage] Mathematical intuitionism / Dragalin, A.G.. -Providence RI : American mathematical Society, 1988. - ix, 228
  
• [MathCongrès] Methods and applications of mathematical logic / Ed. Carnielli, Walter A. ; Ed. Alcantara, L.P. De. -Providence RI : American mathematical Society, 1988. - xi, 250
  
• [MathOuvrage] Einfuehrung in die mathematische Logik. Teil 3 / Asser, G.. -Thun : Verlag Harri Deutsch, 1981. - 164
  
• [MathOuvrage] Einfuehrung in die mathematische Logik. Teil 2 / Asser, G.. -Thun : Verlag Harri Deutsch, 1976. - 190
  
• [MathOuvrage] Einfuehrung in die mathematische Logik. Teil 1 / Asser, G.. -Thun : Verlag Harri Deutsch, 1983. - 190
  
• [MathOuvrage] Mathematical logic / Lightstone, A. H. ; Ed. Enderton, H.B.. -New York : Plenum Press, 1978. - xiii, 338
  https://link.springer.com/bookseries/6268
  
• [MathOuvrage] Logic for mathematicians / Rosser, J.B.. -New York : McGraw-Hill, 1953. - xiv, 530
  
• [MathOuvrage] Introduction à la logique / Tarski, Alfred ; Ed. Tremblay, J.. -Paris : Gauthier-Villars, 1969. - xv-246
  
• [MathOuvrage] Introduction to logic and to the methodology of deductive sciences / Tarski, Alfred. -Oxford : Oxford university Press, 1946. - xviii, 239
  
• [MathOuvrage] A Formalization of set theory without variables / Tarski, Alfred ; Givant, S.. -Providence RI : American mathematical Society, 1987. - xxi, 318
  
• [MathOuvrage] Introduction to mathematical logic / Malitz, J.. -Berlin : Springer, 1979. - xii, 198
  https://link.springer.com/bookseries/666
  
• [MathOuvrage] A Course in mathematical logic / Manin, Yuri I.. -Berlin : Springer, 1977. - xiii, 286
  https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [MathOuvrage] Cours de théorie des modèles / Poizat, Bruno. -Villeurbanne : Bruno Poizat, 1985. - 584
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=13
  
• [MathOuvrage] Six papers in logic / Artemov, S.N. ; Bekenov, M.I. ; Korshunov, A.D. ; Vail, V.E.. -Providence RI : American mathematical Society, 1987. - ix, 79
  
• [MathOuvrage] Varieties of constructive mathematics / Bridges, Douglas ; Richman, Fred. -Cambridge : Cambridge university Press, 1987. - x-149
  
• [MathOuvrage] Foundations of mathematical logic / Curry, H.B.. -New York : McGraw-Hill, 1963. - xii, 408
  
• [MathOuvrage] An Investigation of the laws of thought / Boole, George. -New York NY : Dover, 1958. - 424 p. ; 21 cm
  
• [MathOuvrage] Computability and logic / Boolos, George S. ; Jeffrey, R.C.. -Cambridge : Cambridge university Press, 1974. - x-262
  
• [MathOuvrage] Collected papers on mathematics, logic, and philosophy / Frege, Gottlob. -Glasgow : Blackwell publishing, 1984. - viii, 412
  
• [MathOuvrage] Introduction to mathematical logic and type theory / Andrews, Peter B.. -New York : Academic press, 1986. - xv-304
  
• [MathCongrès] Algebra, mathematical logic, number theory, topology / Ed. Vinogradov, Ivan Matveevic ; Ed. Adian, Sergei I. ; Ed. Mishchenko, Evgenii F. ; Ed. Shafarevich, Igor R.. -Providence RI : American mathematical Society, 1986. - vii, 267
  
• [MathOuvrage] An Algebraic introduction to mathematical logic / Barnes, D.W. ; Mack, J.M.. -Berlin : Springer, 1975. - viii, 121
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [MathOuvrage] Principes de logique et de philosophie mathématique / Onicescu, Octav. -Bucarest : Editura Academiei Republicii Socialiste Romania, 1971. - 229
  
• [MathOuvrage] Mathematical logic / Shoenfield, Joseph R.. -Reading MA : Addison-Wesley, 1967. - vii, 344 p. ; 24 cm
  
• [MathOuvrage] Equivalents of the axiom of choice / Rubin, Herman ; Rubin, Jean E.. -Amsterdam : North-Holland, 1985. - xxviii, 322
  
• [MathOuvrage] Mathématiques et logique / Kac, Mark ; Ulam, Stanislaw M.. -Paris : Dunod, 1973. - ix, 178
  
• [MathCongrès] Methods in mathematical logic / Ed. Di Prisco, C.A.. -Berlin : Springer, 1985. - vii, 407
  https://doi.org/10.1007/BFb0075303
  
• [MathOuvrage] Eléments de logique mathématique / Kreisel, G. ; Krivine, Jean-Louis. -Paris : Dunod, 1967. - viii, 212
  
• [MathOuvrage] Logique mathématique / Largeault, Jean. -Paris : Armand Colin, 1972. - 281
  
• [MathOuvrage] Logique mathématique / Kleene, Stephen C.. -Paris : Armand Colin, 1971. - 412
  
• [MathOuvrage] Mathematical logic / Monk, J. Donald. -New York : Springer, 1976. - x-531
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?cat=7 ; https://link.springer.com/openurl.asp?genre=journal&issn=0072-5285
  
• [MathOuvrage] Proof theory / Schuette, Kurt. -Berlin : Springer, 1977. - xii, 299
  http://www.numir.org.scd-rproxy.u-strasbg.fr/articles/articles.php?sort=num&mode=asc&cat=4 ; link.springer.com/bookseries/138
  
• [MathOuvrage] La Logique et son histoire d'Aristote à Russell / Blanché, Robert. -Paris : Armand Colin, 1970. - 366 p. ;
  
• [MathOuvrage] Syllogistique d'Aristote dans la perspective de la logique formelle moderne / Lukasiewicz, Jan ; Trad. Caujolle-Zaslawsky, Françoise. -Paris : Armand Colin, 1972. - 228
  
• [MathOuvrage] The Axiom of constructibility / Devlin, Keith J.. -Berlin : Springer, 1977. - 96
  https://doi.org/10.1007/BFb0070208
  
• [MathOuvrage] Studies in foundations and combinatorics / Ed. Rota, Gian-Carlo. -London, New York, San Francisco : Academic press, 1978. - xii, 265
  
• [MathOuvrage] Two applications of logic to mathematics / Takeuti, Gaisi. -Princeton NJ, Tokyo : Princeton university Press;Iwanami Shoten, 1978. - viii, 138
  https://www.mathsoc.jp/publications/pubmsj/
  
• [MathCongrès] Applications of sheaves / Ed. Fourman, M.P. ; Ed. Mulvey, C. J. ; Ed. Scott, D. S.. -Berlin : Springer, 1979. - xiv, 779
  https://doi.org/10.1007/BFb0061811
  
• [MathOuvrage] Introduction to metamathematics / Kleene, Stephen C.. -Amsterdam, Groningen, New York : North-Holland;Wolters-Noordhoff, 1964. - x, 550 p. ; 23 cm
  
• [MathOuvrage] Initial segments of degrees below O' / Epstein, Richard L.. -Providence RI : American mathematical Society, 1981. - vi, 102 p.
  
• [MathOuvrage] Decidability and boolean representations / Burris, Stanley ; Mackenzie, Ralph. -Providence RI : American mathematical Society, 1981. - viii, 106 p.
  
• [MathCongrès] Logic symposia Hakone 1979, 1980. Proceedings of conferences held in Hakone, Japan, march 21-24, 1979 and february 4-7, 1980 / Ed. Muller, G. H. ; Ed. Takeuti, Gaisi ; Ed. Tugue, T.. -Berlin : Springer, 1981. - xii, 394
  https://doi.org/10.1007/BFb0090974
  
• [MathOuvrage] Logique mathématique / Pabion, Jean-François. -Paris : Hermann, 1976. - xxxii, 263
  
• [MathOuvrage] Introduction to mathematical logic / Mendelson, Elliott. -Belmont : Wadsworth and Brooks/Cole, 1987. - ix, 341
  
• [MathOuvrage] Logic for computer scientists / Schoening, Uwe. -Basel : Birkhäuser, 1989. - 166
  http://link.springer.com/book/10.1007/978-0-8176-4763-6
  
• [MathOuvrage] Computability, complexity, logic / Börger, Egon. -Amsterdam : North-Holland, 1989. - xx-592
  
• [MathOuvrage] The Logical basis for computer programming. Vol. 2 / Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley, 1990. - xiii, 642
  
• [MathOuvrage] A course in mathematical logic / Bell, J.L. ; Machover, M.. -Amsterdam : North-Holland, 1977. - xviii, 599
  
• [MathOuvrage] The Boole-de Morgan correspondence 1842-1864 / Boole, George ; De Morgan, Augustus ; Ed. Smith, Geoff C.. -Oxford : Clarendon Press, 1982. - 156
  
• [MathOuvrage] Grundzüge der mathematischen Logik / Novikov, P. S.. -Berlin : Deutscher Verlag der Wissenschaften, 1973. - 286