A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03F50
Affiner la recherche Interroger des sources externes
Constructive mathematics (1981) / F. RICHMAN
Titre : Constructive mathematics : Proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, august 11-15, 1980 Type de document : séminaire Auteurs : F. RICHMAN, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1981 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 873 Importance : VII-347 p. ISBN/ISSN/EAN : 978-3-540-10850-4 Langues : Anglais (eng) Catégories : 03F50
03F55
03F65Mots-clés : mathématique constructive mathématique intuitionniste Note de contenu : références Constructive mathematics : Proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, august 11-15, 1980 [séminaire] / F. RICHMAN, Auteur . - Springer-Verlag, 1981 . - VII-347 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 873) .
ISBN : 978-3-540-10850-4
Langues : Anglais (eng)
Catégories : 03F50
03F55
03F65Mots-clés : mathématique constructive mathématique intuitionniste Note de contenu : références Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5285 LN 873 Livre Recherche Salle Disponible Métamathématique (DL 1967) / Paul LORENZEN
Titre : Métamathématique Type de document : texte imprimé Auteurs : Paul LORENZEN, Auteur ; Jean-Blaise GRIZE, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : DL 1967 Autre Editeur : Paris : Éditions Mouton Collection : Mathématiques et sciences de l'homme num. VI Importance : 166 p. Langues : Français (fre) Langues originales : Allemand (ger) Catégories : 03F50 Mots-clés : métamathématique logique mathématique arithémétique Note de contenu : index, bibliogr. Métamathématique [texte imprimé] / Paul LORENZEN, Auteur ; Jean-Blaise GRIZE, Traducteur . - Gauthier-Villars : Paris : Éditions Mouton, DL 1967 . - 166 p.. - (Mathématiques et sciences de l'homme; VI) .
Langues : Français (fre) Langues originales : Allemand (ger)
Catégories : 03F50 Mots-clés : métamathématique logique mathématique arithémétique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1161 LOR/IREM/H-E Livre IREM Salle Disponible 4820 LOR/02/3618 Livre Recherche Salle Disponible