Repository | Directory | Profile
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions
2020
Mateusz M. Radzki
Axiomathes 30/2
On axiom systems of Słupecki for the functionally complete three-valued logic
2017
Axiomathes 27/4
