Algèbre du calcul propositionnel trivalent de Heyting
From MaRDI portal
Publication:5661886
DOI10.4064/fm-74-2-99-109zbMath0248.02070MaRDI QIDQ5661886
No author found.
Publication date: 1972
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/214418
Related Items