Resultats de la busca

¡Crea la pàgina "Arend Heyting" en L'Enciclopèdia en valencià!

• Llògica intuicionista
  …el [[Sistema formal|sistema llògic]] originalment desenrollat per [[Arend Heyting]] per a proveir una base formal per al [[Intuïcionisme|proyecte intuicioni
  1 kB (158 paraules) - 08:59 15 nov 2024