M×Φ

Annals of Mathematics and Philosophy

logique et calcul des séquents