Teoria de tipus intuicionista: historial de revisions

Visualitza els registres d’aquesta pàgina (veure el registre d'abusos)

Eines: Estadístiques • Nombre de visites • Cerca text a l'historial

Llegenda (ajuda): (act) = diferència amb la versió actual, (prev) = diferència amb la versió prèvia, m = edició menor, → = edició de secció.

actprev 02:5702:57, 31 des 2022‎ Kxont discussió contribucions‎ m 1.995 octets +13‎ #QQ22 desfés

actprev 15:1415:14, 15 juny 2022‎ Rebot discussió contribucions‎ m 1.982 octets −30‎ eliminant text d'indexació automàtica ocult desfés

actprev 19:3419:34, 6 feb 2022‎ Loupeter discussió contribucions‎ m 2.012 octets −34‎ Suprimida Categoria:Lògica matemàtica usant HotCat desfés
actprev 19:2919:29, 6 feb 2022‎ Loupeter discussió contribucions‎ m 2.046 octets +36‎ Afegida Categoria:Lògica computacional usant HotCat desfés

actprev 13:3413:34, 5 feb 2021‎ Ferran Mir discussió contribucions‎ m 2.010 octets +1‎ Cap resum de modificació desfés

actprev 11:4211:42, 31 ago 2020‎ Rebot discussió contribucions‎ m 2.009 octets −2‎ neteja i estandardització de codi desfés

actprev 15:5715:57, 29 juny 2020‎ EVA3.0 (bot) discussió contribucions‎ m 2.011 octets −3‎ Bot elimina espais sobrants desfés Etiqueta: PAWS [1.2]

actprev 21:5821:58, 24 març 2020‎ Rebot discussió contribucions‎ m 2.014 octets +2‎ neteja i estandardització de codi desfés

actprev 12:4912:49, 17 ago 2018‎ KRLS Bot discussió contribucions‎ m 2.012 octets +8‎ Aplicant la plantilla {{ISBN}} per evitar l'enllaç màgic d'ISBN desfés

actprev 13:4613:46, 12 oct 2017‎ Rebot discussió contribucions‎ m 2.004 octets +2‎ espais als encapçalaments de ''Bibliografia'' desfés

actprev 17:0917:09, 7 maig 2014‎ Langtoolbot discussió contribucions‎ m 2.002 octets −1‎ Correcció tipogràfica: espais sobrants desfés

actprev 06:1806:18, 10 abr 2014‎ Langtoolbot discussió contribucions‎ m 2.003 octets +2‎ Corregit: com '''constructive > com a '''constructive desfés

actprev 12:5712:57, 2 feb 2014‎ EVA (bot) discussió contribucions‎ m 2.001 octets +2‎ Robot: Reemplaçament automàtic de text (-Kolmogorov +Kolmogórov, -Andrey +Andrei) desfés

actprev 19:4019:40, 14 des 2013‎ Paucabot discussió contribucions‎ m 1.999 octets −22‎ Suprimida Categoria:Lògica usant HotCat desfés
actprev 19:4019:40, 14 des 2013‎ Paucabot discussió contribucions‎ m 2.021 octets +6‎ Suprimida Categoria:Matemàtiques; Afegida Categoria:Lògica matemàtica usant HotCat desfés

actprev 21:0021:00, 4 nov 2013‎ JoRobot discussió contribucions‎ m 2.015 octets +72‎ Robot insereix {{ORDENA:Teoria De Tipus Intuicionista}} desfés

actprev 14:0714:07, 3 nov 2013‎ Victor M. Vicente Selvas discussió contribucions‎ 1.943 octets +1.943‎ Pàgina nova, amb el contingut: «La '''teoria de tipus intuicionista''' , en anglès: '''Intuitionistic type theory''' (també coneguda com '''constructive type theory''', o '''Martin-Lö...».

Obtingut de «https://ca.wikipedia.org/wiki/Teoria_de_tipus_intuicionista»