Repository | People

120568

References

Mateusz M. Radzki

in English

X
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions

2020

Axiomathes 30/2

Open Access Link
On axiom systems of Słupecki for the functionally complete three-valued logic

2017

Axiomathes 27/4

Open Access Link