Publisher
Springer Nature Switzerland
Reference20 articles.
1. Aho, A. V., J. E. Hopcroft, and J. D. Ullman (1975). The Design and Analysis of Computer Algorithms. Reading: Addison-Wesley.
2. Coquand, T. (2007). Kolmogorov’s contribution to intuitionistic logic. In: Kolmogorov’s Heritage in Mathematics. Ed. by É. Charpentier, N. K. Nikolski, and A. Lesne. Heidelberg: Springer, 19–40.
3. de Campos Sanz, W. (2012). Kolmogorov e a lógica de problemas I. Notae Philosophicae Scientiae Formalis 1, 184–197.
4. de Campos Sanz, W. (2019). Hypo: a simple constructive semantics for intuitionistic sentential logic; soundness and completeness. In: Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, 153–178. url: https://doi.org/10.15496/publikation-35319.
5. de Campos Sanz, W. (2021). Euclidean machines: general theory of problems. In: A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso. Ed. By E. Haeusler, L. Pereira, and J. Viana. London: College.