BackSearch
Now showing items 1-4 of 4
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)
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)
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)
Le programme "Ars Judicandi"
(Servicio Editorial de la Universidad del País Vasco/Euskal Herriko Unibertsitatearen Argitalpen Zerbitzua, 1986)