Geodesic

Tome 28 (1976) no. 3-4

Sommaire

Un sistema de reglas para el cálculo proposicional.
Funciones valoradas (I).
Sobre la axiomática de los espacios vectoriales.
Some extensions of the multiplication theorems.