Repository | Directory | Profile
(2020-2029)
On a three-valued logic with Blamey's interjunction for the formal description of atomic transactions
2020
Mateusz M. Radzki
Axiomathes 30/2
