Le Preprint de la MSH n°4 est en ligne.Marcel Guillaume : "Lifting rules into implicative axioms in Julius König's "Neue Grundlagen der Logik, Arithmeik und Mengenlehre."
Cliquez ici pour consulter l'article.
Le Preprint de la MSH n°4 est en ligne.Marcel Guillaume : "Lifting rules into implicative axioms in Julius König's "Neue Grundlagen der Logik, Arithmeik und Mengenlehre."
Cliquez ici pour consulter l'article.