Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
Livres Cahier du Centre de logique
Éditeur(s) :
Editions Academia
Ce volume est consacré aux systèmes théoriques de Zermelo ainsi qu'aux théories de Quine. ©Electre 2025
19,50 €
Chargement...
Éditeur(s) :
Editions Academia
This volume is devoted to the Formulae-as-Types correspondence, also widely known as the Curry-Howard isomorphism. So far this has been studied mainly by constructive logicians. But it has recently been revived by theoretical computer scientists, through the program-...
45,73 €
Chargement...
Éditeur(s) :
Editions Academia
Quatre contributions présentées lors d'une journée d'étude en février 2001 à l'Université de Mons-Hainaut : Histoire ou préhistoire de la dualité, relectures des triangles sphériques avec et après Euler ; La dualité en géométrie projective ; Théorie des ensembles et ...
17,00 €
Chargement...
Éditeur(s) :
Editions Academia
Thèmes : relecture des travaux de Semenov sur certaines extensions de l'arithmétique de Presburger; nouvelle preuve d'un résultat sur l'indécidabilité du premier ordre des naturels avec l'addition; développement de la notion de fonctions calculables par une machine ...
16,00 €
Chargement...
Éditeur(s) :
Editions Academia
Contributions à deux journées organisées à l'occasion du 70e anniversaire de la publication de New foundations for mathematical logic de Willard Van Orman Quine où il décrivait pour la première fois la théorie des ensembles New Foundations (NF). ©Electre 2025
26,00 €
Chargement...
Éditeur(s) :
Editions Academia
Ecartant l'usage de la négation, qui fait problème dans les paradoxes, O. Esser retrouve les ensembles habituels mais aussi de nombreux autres qu'il n'y a aucune raison valable d'exclure. ©Electre 2025
19,00 €
Chargement...
Éditeur(s) :
Editions Academia
Bilan critique des études menées par A. Tarski et J. Hintikka, évaluant les concepts philosophiques et la technique logique mise en jeu dans la définition de Tarski et dans son théorème d'indéfinissabilité de la vérité. ©Electre 2025
32,50 €
Chargement...
