Browsing by Subject Matemàtica intuïcionista
Showing results 1 to 3 of 3
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Jan-1981 | Estudi algebraic de certes lògiques intuicionistes modals | Font Llovet, Josep Maria |
| 20-Jun-2021 | Lògica intuïcionista. Teorema de Glivenko | Canal Ferrer, Genı́s |
| 1986 | Some remarks on Heyting matrices | Font, Josep M. |