User menu

[A Modal Interpretation of Intuitionistic Logic]

Bibliographic reference Lavendhomme, René ; Lucas, Thierry. [A Modal Interpretation of Intuitionistic Logic]. In: Comptes rendus de l'Académie des sciences - Series I - Mathematics, Vol. 298, no. 9, p. 193-196 (1984)
Permanent URL http://hdl.handle.net/2078.1/56075