MARTIN-LÖF, PER
Copyright and Licensing
Copyright: © The Author(s), 2022. Published by Cambridge University Press on behalf of Association for Symbolic Logic
License: This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Free to read: This content has been made available to all.