D
Documents
Documents
Sources
Sujets
fr
Français (fr)
English (en)
Español (es)
Thème
Se connecter
Mes bibliothèques
Mon historique
Mes requêtes
Mes auteurs
Mes alertes
K. Liogier
Discipline
Philosophie
(1)
Type de document
Textes imprimés
(1)
Co-auteur
G. Blanc
1
Date
Source
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
(1)
Mot-clé
Axioms
(1)
Axiomatique
(1)
Documents
écrit par K. Liogier
(1) | parle de K. Liogier (0)
Négation constructive et axiomatique interne
Textes imprimés
G. Blanc
et al. (1997)
Textes imprimés
Référentiels
|
API
|
À propos
|
Mentions légales
|
CGU
|
Contact
|
Mises à jour