Apoloniusz Tyszka, “Constructive mathematics with the predicate of the current mathematical knowledge”, SSRN Journal, 2024
Apoloniusz Tyszka, Computation, Cryptography, and Network Security, 2015, 577
Tyszka A., “Mupad Codes Which Implement Limit-Computable Functions That Cannot Be Bounded By Any Computable Function”, Federated Conference on Computer Science and Information Systems, 2014, Acsis-Annals of Computer Science and Information Systems, 2, IEEE, 2014, 623–629