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

Documents (Mots clés)

• [MathOuvrage] Proof complexity / Krajicek, Jan. -Cambridge : Cambridge university Press, 2019. - xv, 516 p. ; 24 cm
  ISBN 9781108416849
  
• [MathOuvrage] Computation, proof, machine / Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press, 2015. - viii, 152 p. ; 22 cm
  ISBN 9780521133777
  
• [IremOuvrage] Explanation and proof in mathematics / Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer, 2010. - VIII-294 p. ; 24 cm
  ISBN 9781441905758
  
• [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] The Blind spot / Girard, Jean-Yves. -Zürich : European mathematical Society, 2010. - xiii, 537 p. ; 24 cm
  ISBN 9783037190883
  https://doi.org/10.4171/088
  
• [MathOuvrage] Handbook of proof theory / Ed. Buss, Samuel R.. -Amsterdam : North-Holland, 1998. - vii, 811 p. ; 23 cm
  ISBN 9780444898401
  
• [MathOuvrage] Applied proof theory / Kohlenbach, Ulrich. -Berlin : Springer, 2008. - xix, 532 p. ; 24 cm
  ISBN 9783540775324
  https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
  
• [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] Conjecture and proof / Laczkovich, Miklos. -Washington DC : Mathematical Association of America, 2001. - x, 118 p. ; 24 cm
  
• [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] Conjecture and proof / Laczkovich, Miklos. -Budapest : Typotex, 1998. - 100 p. ; 24 cm
  
• [MathOuvrage] Correctness preserving program refinements / Back, R. J. R.. -Amsterdam : Mathematisch centrum, 1980. - 118 p. ; 24 cm
  
• [MathOuvrage] Arithmetic, proof theory, and computational complexity / Ed. Clote, Peter ; Ed. Krajicek, Jan. -Oxford : Clarendon Press, 1993. - xii, 428 p. ; 24 cm
  
• [MathOuvrage] Complexity of proofs and their transformations in axiomatic theories / Orevkov, V.P. ; Trad. Bochman, Alexander ; Ed. Louvish, David. -Providence RI : American mathematical Society, 1993. - vi, 153 p. ; 26 cm
  
• [MathOuvrage] Proof theory / Pohlers, W.. -Berlin : Springer, 1989. - vi, 213
  https://doi.org/10.1007/978-3-540-46825-7
  
• [MathOuvrage] Proof theory / Takeuti, Gaisi. -Amsterdam : North-Holland, 1975. - 372
  
• [MathCongrès] Computation and proof theory. Part II / Ed. Richter, Michael M. ; Ed. Börger, Egon ; Ed. Oberschelp, Walter ; Ed. Schinzel, Brigitta ; Ed. Thomas, W.. -Berlin : Springer, 1984. - viii, 475
  https://doi.org/10.1007/BFb0099476