Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
On axiom systems of Słupecki for the functionally complete three-valued logic
2017
Mateusz M. Radzki
Axiomathes 27/4
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions
2020
Axiomathes 30/2
