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

Documents (Mots clés)

• [MathOuvrage] Mathematical logic / Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang. -Cham : Springer, 2021. - ix, 304 p. ; 24 cm
  ISBN 9783030738389
  
• [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] Purity, spectra and localisation / Prest, Mike. -Cambridge : Cambridge university Press, 2009. - xxviii, 769 p. ; 24 cm
  ISBN 9780521873086
  
• [IremOuvrage] Introduction à la logique formelle et symbolique / Salem, Jean. -Paris : Fernand Nathan, 1994. - 141 p. ; 21 cm
  ISBN 9782091905198
  
• [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
  
• [MathOuvrage] The Logical basis for computer programming. Vol. 1 / Manna, Zohar ; Waldinger, R.. -Reading : Addison-Wesley, 1985. - xii, 618
  
• [MathOuvrage] Introduction to symbolic logic and its applications / Carnap, Rudolf. -New York : Dover, 1958. - xiv, 241
  
• [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] Mathematical logic / Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -New York : Marcel Dekker, 1978. - xii, 303
  
• [MathOuvrage] Mathematical intuitionism / Dragalin, A.G.. -Providence RI : American mathematical Society, 1988. - ix, 228
  
• [MathOuvrage] Mathematical logic / Lightstone, A. H. ; Ed. Enderton, H.B.. -New York : Plenum Press, 1978. - xiii, 338
  https://link.springer.com/bookseries/6268
  
• [MathOuvrage] Symbolic logic / Venn, John. -New York : Chelsea publishing Company, 1971. - xxxviii, 540
  
• [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
  
• [MathCongrès] Logic and combinatorics / Ed. Simpson, Stephen G.. -Providence RI : American mathematical Society, 1987. - xi, 394
  
• [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] Formal methods / Beth, Evert W.. -Dordrecht : D. Reidel publishing company, 1962. - xiv, 170
  
• [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] An Introduction to symbolic logic / Langer, Susanne K.. -New York : Dover, 1967. - 367
  
• [MathOuvrage] Introduction to symbolic logic and its applications / Carnap, Rudolf. -New York : Dover, 1958. - xiv, 241
  
• [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/
  
• [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