Resultats de la busca
Anar a la navegació
Anar a la busca
¡Crea la pàgina "Arend Heyting" en L'Enciclopèdia en valencià!
- …el [[Sistema formal|sistema llògic]] originalment desenrollat per [[Arend Heyting]] per a proveir una base formal per al [[Intuïcionisme|proyecte intuicioni1 kB (158 paraules) - 08:59 15 nov 2024