IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la démonstration ; philosophie des mathématiques ; théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; type ; arbre ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

récursivité ; théorie de la preuve ; métathéorie ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; complexité

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; calcul scientifique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique classique ; logique linéaire ; interaction ; théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; interprétation ; théorie de l'approximation

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; algorithme génétique ; intuitionnisme ; complexité algorithmique ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

morphisme ; logique ; complexité ; implicitisation ; langage formel ; symétrie ; théorie de la preuve ; récursion ; graphe

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; preuve probabilistement vérifiable

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; complexité algorithmique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve ; déduction ; forme normale

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

vérification de programme ; théorie de la preuve

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie de la preuve

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents théorie de la preuve | enregistrements trouvés : 17

Explanation and proof in mathematics : philosophical and educational perspectives Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer , 2010 . - VIII-294 p. ; 24 cm
ISBN 9781441905758
Nouveau

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
Nouveau

Proof complexity Krajicek, Jan. -Cambridge : Cambridge university Press , 2019 . - xv, 516 p. ; 24 cm
ISBN 9781108416849
Nouveau

Computation, proof, machine : mathematicsenters a new age Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press , 2015 . - viii, 152 p. ; 22 cm
ISBN 9780521133777
Nouveau

The Blind spot : lectures on logic Girard, Jean-Yves. -Zürich : European mathematical Society , 2010 . - xiii, 537 p. ; 24 cm
ISBN 9783037190883
https://doi.org/10.4171/088
Nouveau

Applied proof theory : proof interpretations and their use in mathematics 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
Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm
Nouveau

Conjecture and proof Laczkovich, Miklos. -Washington DC : Mathematical Association of America , 2001 . - x, 118 p. ; 24 cm
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Handbook of proof theory Ed. Buss, Samuel R.. -Amsterdam : North-Holland , 1998 . - vii, 811 p. ; 23 cm
ISBN 9780444898401
Nouveau

Conjecture and proof Laczkovich, Miklos. -Budapest : Typotex , 1998 . - 100 p. ; 24 cm
Nouveau

Arithmetic, proof theory, and computational complexity Ed. Clote, Peter ; Ed. Krajicek, Jan. -Oxford : Clarendon Press , 1993 . - xii, 428 p. ; 24 cm
Nouveau

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
Nouveau

Proof theory : an introduction Pohlers, W.. -Berlin : Springer , 1989 . - vi, 213
https://doi.org/10.1007/978-3-540-46825-7
Nouveau

Correctness preserving program refinements : proof theory and applications Back, R. J. R.. -Amsterdam : Mathematisch centrum , 1980 . - 118 p. ; 24 cm
Nouveau

Proof theory Takeuti, Gaisi. -Amsterdam : North-Holland , 1975 . - 372
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents théorie de la preuve | enregistrements trouvés : 17

Explanation and proof in mathematics : philosophical and educational perspectives Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer , 2010 . - VIII-294 p. ; 24 cm ISBN 9781441905758 Nouveau

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 Nouveau

Proof complexity Krajicek, Jan. -Cambridge : Cambridge university Press , 2019 . - xv, 516 p. ; 24 cm ISBN 9781108416849 Nouveau

Computation, proof, machine : mathematicsenters a new age Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press , 2015 . - viii, 152 p. ; 22 cm ISBN 9780521133777 Nouveau

The Blind spot : lectures on logic Girard, Jean-Yves. -Zürich : European mathematical Society , 2010 . - xiii, 537 p. ; 24 cm ISBN 9783037190883 https://doi.org/10.4171/088 Nouveau

Applied proof theory : proof interpretations and their use in mathematics 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 Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm Nouveau

Conjecture and proof Laczkovich, Miklos. -Washington DC : Mathematical Association of America , 2001 . - x, 118 p. ; 24 cm Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm ISBN 9780198507291 Nouveau

Handbook of proof theory Ed. Buss, Samuel R.. -Amsterdam : North-Holland , 1998 . - vii, 811 p. ; 23 cm ISBN 9780444898401 Nouveau

Conjecture and proof Laczkovich, Miklos. -Budapest : Typotex , 1998 . - 100 p. ; 24 cm Nouveau

Arithmetic, proof theory, and computational complexity Ed. Clote, Peter ; Ed. Krajicek, Jan. -Oxford : Clarendon Press , 1993 . - xii, 428 p. ; 24 cm Nouveau

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 Nouveau

Proof theory : an introduction Pohlers, W.. -Berlin : Springer , 1989 . - vi, 213 https://doi.org/10.1007/978-3-540-46825-7 Nouveau

Correctness preserving program refinements : proof theory and applications Back, R. J. R.. -Amsterdam : Mathematisch centrum , 1980 . - 118 p. ; 24 cm Nouveau

Proof theory Takeuti, Gaisi. -Amsterdam : North-Holland , 1975 . - 372 Nouveau

Explanation and proof in mathematics : philosophical and educational perspectives Ed. Hanna, Gila ; Ed. Jahnke, Hans N. ; Ed. Pulte, Helmut. -New York : Springer , 2010 . - VIII-294 p. ; 24 cm
ISBN 9781441905758
Nouveau

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
Nouveau

Proof complexity Krajicek, Jan. -Cambridge : Cambridge university Press , 2019 . - xv, 516 p. ; 24 cm
ISBN 9781108416849
Nouveau

Computation, proof, machine : mathematicsenters a new age Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press , 2015 . - viii, 152 p. ; 22 cm
ISBN 9780521133777
Nouveau

The Blind spot : lectures on logic Girard, Jean-Yves. -Zürich : European mathematical Society , 2010 . - xiii, 537 p. ; 24 cm
ISBN 9783037190883
https://doi.org/10.4171/088
Nouveau

Applied proof theory : proof interpretations and their use in mathematics 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
Nouveau

Mathematical logic and algebra : collected papers dedicated to the 100th birthday of Academician Petr Sergeevich Novikov Ed. Adian, Sergei I. ; Ed. Nikitin, Ivan P. ; Steklov Institute of mathematics. -Moscow : Maik Nauka ; Interperiodica publishing , 2003 . - 196 p. ; 28 cm
Nouveau

Conjecture and proof Laczkovich, Miklos. -Washington DC : Mathematical Association of America , 2001 . - x, 118 p. ; 24 cm
Nouveau

A Graphic apology for symmetry and implicitness Carbone, Alessandra ; Semmes, Stephen. -Oxford : Oxford university Press , 2000 . - xvii, 501 p. ; 24 cm
ISBN 9780198507291
Nouveau

Handbook of proof theory Ed. Buss, Samuel R.. -Amsterdam : North-Holland , 1998 . - vii, 811 p. ; 23 cm
ISBN 9780444898401
Nouveau

Conjecture and proof Laczkovich, Miklos. -Budapest : Typotex , 1998 . - 100 p. ; 24 cm
Nouveau

Arithmetic, proof theory, and computational complexity Ed. Clote, Peter ; Ed. Krajicek, Jan. -Oxford : Clarendon Press , 1993 . - xii, 428 p. ; 24 cm
Nouveau

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
Nouveau

Proof theory : an introduction Pohlers, W.. -Berlin : Springer , 1989 . - vi, 213
https://doi.org/10.1007/978-3-540-46825-7
Nouveau

Correctness preserving program refinements : proof theory and applications Back, R. J. R.. -Amsterdam : Mathematisch centrum , 1980 . - 118 p. ; 24 cm
Nouveau

Proof theory Takeuti, Gaisi. -Amsterdam : North-Holland , 1975 . - 372
Nouveau