Browsing by Subject Intuitionistic mathematics
Showing results 1 to 2 of 2
| 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 |