MARTIN-LÖF’S TYPE THEORУ: BETWEEN PHENOMENOLOGY AND ANALYTICAL PHILOSOPHY

Institute of Philosophy and Law of the Siberian Brunch of the Russian Academy of Sciences, OLEG DOMANOV

DOI: 10.21638/2226-5260-2024-13-1-33-56

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.