BackSearch
Now showing items 1-4 of 4
Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1989)
Théories syllogistiques et déontiques anlysées comme structures algébríques: de Leibniz à Lukasiewicz et Von Wright
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1990)
Actualisation, développement et perfectionnement des calculs logiques arithmético-intensionnels de Leibniz
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1991)
Le programme "Ars Judicandi"
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1986)