Logo Logo
Hilfe
Hilfe
Switch Language to English

Petrakis, Iosif ORCID logoORCID: https://orcid.org/0000-0002-4121-7455 (2022): Proof-relevance in Bishop-style constructive mathematics. In: Mathematical Structures in Computer Science, Bd. 32, Nr. 1: S. 1-43 [PDF, 617kB]

Dokument bearbeiten Dokument bearbeiten