Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Afficher/Cacher les filtres
Collections
GDML_Books
(1)
Années
1976
(1)
GDML_Books
Période couverte dans Numdam : 0-0
Affichage des livres par année
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
All
J. Y. Girard
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture