GEOTRUST SSL CERTIFICATE
Détail d'une collection
|
Documents disponibles dans la collection (4)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Paul Van Praag, Metteur en scène, réalisateur ; UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2003Quatre 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é[...]![]()
texte imprimé
Philippe De Groote, Auteur | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 1995This 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[...]![]()
texte imprimé
Christian Michaux, Éditeur scientifique ; UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2000Thè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 calcul[...]![]()
texte imprimé
Olivier Esser, Auteur | Louvain-la-Neuve (Belgique) : Academia-Bruylant | Cahier du Centre de logique | 2004Ecartant 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.