Langages à valeurs réelles et applications

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Jean-Louis Krivine Fundamenta Mathematicae 81 (1974), 213-253 DOI: 10.4064/fm-81-3-213-253