A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'logique constructive'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Predicates and fibrations / Duško PAVLOVI? (1957)
Titre : Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic Type de document : texte imprimé Auteurs : Duško PAVLOVI?, Auteur Editeur : Rijksuniversiteit Utrecht Année de publication : 1957 Importance : IX-237+X p. Présentation : ill. Note générale : Version éditée de thèse Langues : Anglais Mots-clés : logique constructive prédicat fibration logique mathémathique Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic [texte imprimé] / Duško PAVLOVI?, Auteur . - [S.l.] : Rijksuniversiteit Utrecht, 1957 . - IX-237+X p. : ill.
Version éditée de thèse
Langues : Anglais
Mots-clés : logique constructive prédicat fibration logique mathémathique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5537 PAV/02/6449 Livre Recherche Salle Disponible Variabilité locale constructive / Marc JAMBON (1975)
Titre : Variabilité locale constructive Type de document : texte imprimé Auteurs : Marc JAMBON, Auteur Editeur : Montpellier : Université des Sciences et Techniques du Languedoc. U.E.R. de mathématiques Année de publication : 1975 Collection : Cahiers Mathématiques Montpellier num. 04 Importance : 112 p. Langues : Français Mots-clés : analyse constructive logique constructive variabilité locoale constructive Variabilité locale constructive [texte imprimé] / Marc JAMBON, Auteur . - Montpellier : Université des Sciences et Techniques du Languedoc. U.E.R. de mathématiques, 1975 . - 112 p.. - (Cahiers Mathématiques Montpellier; 04) .
Langues : Français
Mots-clés : analyse constructive logique constructive variabilité locoale constructive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17108 JAM/CMM 4 Livre Recherche Salle Disponible