6 résultat(s) recherche sur le mot-clé 'constructive mathematics'

Foundations of constructive mathematics / Beeson, Michael J.

Public ISBD Titre : Foundations of constructive mathematics : mathematical studies Type de document : texte imprimé Auteurs : Beeson, Michael J. Editeur : Springer-Verlag Année de publication : 1985 Collection : Ergebnisse der Mathematik und ihrer Grenzgebiete num. 6 Importance : xxiii - 466 p. ISBN/ISSN/EAN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie Foundations of constructive mathematics : mathematical studies [texte imprimé] / Beeson, Michael J. . - [S.l.] : Springer-Verlag, 1985 . - xxiii - 466 p.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete; 6) . ISBN : 978-3-540-12173-2 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F50 Metamathematics of constructive systems 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F55 Intuitionistic mathematics Mots-clés : constructive proof  formal systems  constructive mathematics  intuitionistic logic  constructive metamathematics  set theory  proof theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3975	03C120	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Foundations of constructive analysis / Errett Bishop

Public ISBD Titre : Foundations of constructive analysis Type de document : texte imprimé Auteurs : Errett Bishop Editeur : New York, NY : McGraw-Hill Book Company Année de publication : 1967 Collection : McGraw-Hill Series in Higher Mathematics Importance : xiii - 370 p. Langues : Anglais Mots-clés : constructive mathematics  recursion theory  analysis Index. décimale : 46C Monographie Foundations of constructive analysis [texte imprimé] / Errett Bishop . - New York, NY : McGraw-Hill Book Company, 1967 . - xiii - 370 p.. - (McGraw-Hill Series in Higher Mathematics) . Langues : Anglais Mots-clés : constructive mathematics  recursion theory  analysis Index. décimale : 46C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
10370	46C92	imprimé / autre	CRDM	46/ANALYSE FONCTIONNELLE	Disponible

Abstrakte Automaten / Starke, P.H.

Public ISBD Titre : Abstrakte Automaten : mit 23 abbildungen Type de document : texte imprimé Auteurs : Starke, P.H. Editeur : Berlin : Veb Deutscher Verlag der Wissenschaften Année de publication : 1969 Importance : 302 p. Langues : Allemand Mots-clés : constructive mathematics  recursion theory Index. décimale : 68C Monographie Abstrakte Automaten : mit 23 abbildungen [texte imprimé] / Starke, P.H. . - Berlin : Veb Deutscher Verlag der Wissenschaften, 1969 . - 302 p. Langues : Allemand Mots-clés : constructive mathematics  recursion theory Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14709	68C126	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Algorithms for computer algebra / Keith O. Geddes

Public ISBD Titre : Algorithms for computer algebra Type de document : texte imprimé Auteurs : Keith O. Geddes ; George Labahn ; Stephen R. Czapor Editeur : Dordrecht: : Kluwer Academic Publishers Group Année de publication : 1992 Importance : xviii - 585 p. ISBN/ISSN/EAN : 978-0-7923-9259-0 Langues : Anglais Catégories : 13-XX Commutative rings and algebras:13PXX Computational aspects of commutative algebra 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : factorisation  gcd computation  chinese remainder theorem  maple  computer algebra  constructive mathematics Index. décimale : 68C Monographie Algorithms for computer algebra [texte imprimé] / Keith O. Geddes ; George Labahn ; Stephen R. Czapor . - Dordrecht: : Kluwer Academic Publishers Group, 1992 . - xviii - 585 p. ISBN : 978-0-7923-9259-0 Langues : Anglais Catégories : 13-XX Commutative rings and algebras:13PXX Computational aspects of commutative algebra 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68WXX Algorithms :68W30 Symbolic computation and algebraic computation Mots-clés : factorisation  gcd computation  chinese remainder theorem  maple  computer algebra  constructive mathematics Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16554	68C297	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Formalized recursive functionals and formalized realizability / Kleene, S.C.

Public ISBD Titre : Formalized recursive functionals and formalized realizability Type de document : texte imprimé Auteurs : Kleene, S.C. Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1969 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 89 Importance : 106 p. Langues : Anglais Mots-clés : constructive mathematics  recursion theory Index. décimale : Mem Formalized recursive functionals and formalized realizability [texte imprimé] / Kleene, S.C. . - Providence, R.I. : American Mathematical Society, 1969 . - 106 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 89) . Langues : Anglais Mots-clés : constructive mathematics  recursion theory Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15380	Mem/89	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

the Undecidability of the domino problem / Berger, Robert

Permalink