Options
Introduction of Implication and Generalization in Axiomatic Calculi
Auteur(s)
Buchsbaum Arthur
Béziau, Jean-Yves
Date de parution
2004
In
Travaux de logique, Universités de Neuchâtel et Rennes, 2004/17//231-254
Identifiants
Type de publication
journal article
