Accueil Dernière Parution Auteurs Thèmes Mots-clefs Parutions Videos Recherche guidée Comité de lecture Contact Abonnement Soumission d'article   Version anglaise Collection numérisée également sur NUMDAM pour les n°1 à n°148 et sur Revues.org pour les n° 149 et suivants

Recherche selon le critère: Auteur: FROIDEVAUX Ch. Affiner ou élargir la recherche 2 entrées référencées Titre La fonction logique Epsilon de Hilbert à travers les "Grundlagen der mathematik" Auteur FROIDEVAUX Ch. Mots-clefs Aucun Thèmes Epistémologie, Histoire des mathématiques, Logique Résumé Numéro 84, Hiver 1983 Langue   Français Lire l'article Titre Axiomatisation de la notion de repérage abstrait Auteur DESCLES Jean-Pierre, FROIDEVAUX Ch. Mots-clefs Aucun Thèmes Linguistique, Logique, Modélisation Résumé Numéro 78, Été 1982, n° spécial Linguistique et Mathématique 2 Langue   Français Lire l'article Droits des utilisateurs : Cette création est mise à disposition sous un contrat Creative Commons