Carte fidélité
Mollat Radio
Suggestions de mots clés
Suggestions de contenus éditoriaux
Chargement...
Suggestions littéraires
Chargement...
Chargement...
Chargement...
One hundred years of axiomatic set theory
Éditeur(s): Editions Academia
Ce volume est consacré aux systèmes théoriques de Zermelo ainsi qu'aux théories de Quine. ©Electre 2024
19,50 €
Chargement...
Anti-fondation en logique et en théorie des ensembles
Éditeur(s): Editions Academia
16,00 €
Chargement...
Curry-Howard Isomorphism
É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...
Aspects de la dualité en mathématique
É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...
Definability in arithmetics and computability
É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...
Proceedings of the 70th anniversary NF meeting in Cambridge
É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 2024
26,00 €
Chargement...
Une théorie positive des ensembles
É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 2024
19,00 €
Chargement...
La conception sémantique de la vérité : d'Alfred Tarski à Jaako Hintikka
É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 2024
32,50 €
Chargement...