Logo Logo
Help
Contact
Switch Language to German
Petrakis, Iosif ORCID: 0000-0002-4121-7455 (2022): Proof-relevance in Bishop-style constructive mathematics. In: Mathematical Structures in Computer Science, Vol. 32, No. 1: pp. 1-43
[img]
Preview
Creative Commons Attribution 617kB