Eintrag weiter verarbeiten
On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz
Gespeichert in: