A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Roger MARTIN
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesDeux esquisses de logique (1955) / J. Barkley ROSSER
Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. VII Importance : 65 p. Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Deux esquisses de logique [texte imprimé] / J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 65 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VII) .
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : logique combinatoire logique formelle logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5543 ROS/02/3610 Livre Recherche Salle Disponible Logique contemporaine et formalisation (1964) / Roger MARTIN
Titre : Logique contemporaine et formalisation Type de document : texte imprimé Auteurs : Roger MARTIN, Auteur Editeur : Paris : Presses Universitaires de France Année de publication : 1964 Collection : Epiméthée, ISSN 0768-0708 Importance : 230 p. Langues : Français (fre) Mots-clés : logique mathématique logique contemporaine formalisation Résumé : Cet ouvrage se propose de donner un aperçu de quelques méthodes couramment employées par la logique contemporaine. Note de contenu : index, bibliogr. Logique contemporaine et formalisation [texte imprimé] / Roger MARTIN, Auteur . - Presses Universitaires de France, 1964 . - 230 p.. - (Epiméthée, ISSN 0768-0708) .
Langues : Français (fre)
Mots-clés : logique mathématique logique contemporaine formalisation Résumé : Cet ouvrage se propose de donner un aperçu de quelques méthodes couramment employées par la logique contemporaine. Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5520 MAR/02/3619 Livre Recherche Salle Disponible i380 MAR/02/i380 a Livre Recherche Salle Disponible i380b MAR/02/i380b b Livre Recherche Salle Exclu du prêt Philosophie mathématique (DL 1962) / Jean CAVAILLÈS
Titre : Philosophie mathématique Type de document : texte imprimé Auteurs : Jean CAVAILLÈS, Auteur ; Raymond ARON, Préfacier, etc. ; Roger MARTIN, Préfacier, etc. Editeur : Paris : Hermann Année de publication : DL 1962 Collection : Histoire de la pensée, ISSN 0073-2362 num. VI Importance : 274 p. Langues : Français (fre) Mots-clés : philosophie mathématique théorie des ensembles correspondance scientique Georg Cantor Richard Dedekind Note de contenu : bibliogr. Philosophie mathématique [texte imprimé] / Jean CAVAILLÈS, Auteur ; Raymond ARON, Préfacier, etc. ; Roger MARTIN, Préfacier, etc. . - Hermann, DL 1962 . - 274 p.. - (Histoire de la pensée, ISSN 0073-2362; VI) .
Langues : Français (fre)
Mots-clés : philosophie mathématique théorie des ensembles correspondance scientique Georg Cantor Richard Dedekind Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 22645 CAV/00A30/10847 Livre Recherche Salle Disponible