Cronologia della pagina

Voce Discussione

Logica intuizionista

8 lug 2022

2001:b07:646b:cde9:a99c:f2:5d27:65e4
→‎Logica intuizionistica come calcolo formale e logico
10:43
+3

13 lug 2021

Saurabh1204
migliorato l'articolo con un'immagine #WPWP #WPWPWD #WPWPIT
m
07:36
+107

26 apr 2019

Omega Bot
Bot: orfanizzo template:Avvisounicode come da discussione
m
15:16
−18

23 apr 2018

Horcrux
-Categoria:Logica; +Categoria:Logica nell'informatica; +Categoria:Logica non classica usando HotCat
16:58
+79

13 gen 2018

151.28.190.148
→‎Logica intuizionistica come calcolo formale e logico
22:07
−16

4 apr 2015

AlessioBot
→‎Collegamenti esterni: Bot: +controllo di autorità
m
18:33
+27

10 nov 2013

2.40.115.19
nessun oggetto della modifica
22:00
+33

21 set 2013

AlessioBot
→‎Logica intuizionistica come calcolo formale e logico: fix wlink a disambigua
m
10:16
+29

2 mar 2013

Addbot
migrazione di 12 interwiki links su Wikidata - d:q176786
m
03:32
−382

6 mag 2012

MerlIwBot
Bot: Aggiungo de:Intuitionismus, tr:Sezgicilik
m
11:08
+40

24 gen 2012

No2
Fix link
m
19:09
+19

12 gen 2010

FixBot
Bot: aggiungo template {{Avvisounicode}} (vedi qui)
m
12:33
+18

18 apr 2009

LucienBOT
Bot: Aggiungo: es:Lógica intuicionista
m
14:58
+29

8 dic 2008

VolkovBot
Bot: Aggiungo: ru:Интуиционистское исчисление высказываний
m
23:11
+86

31 ott 2008

TXiKiBoT
Bot: Aggiungo: pt:Lógica intuicionista
m
22:32
+29

19 ott 2008

DragonBot
Bot: Aggiungo: sv:Intuitionistisk logik
m
06:17
+29

17 set 2008

FrescoBot
Bot: apostrofo dopo l'articolo indeterminativo
m
18:32

31 ago 2008

MystBot
Bot: Aggiungo: zh:直觉主义逻辑
m
14:43
+26

27 giu 2008

JAnDbot
Bot: Tolgo: zh:数学直觉主义
m
13:26
−26

15 mar 2008

AttoRenato
disambigua, fix vari AWB
m
15:51
+21

29 nov 2007

151.63.87.153
nessun oggetto della modifica
18:41
+26

16 nov 2007

158.110.43.40
Corretto errore ortografico
17:44
+2

16 set 2007

Gizm0
nessun oggetto della modifica
m
17:07
+35

7 lug 2007

Olandobot
Bot: sostituisco template con portale
m
20:59
+8

27 mag 2007

Carlo.Ierna
SEP
m
14:36
+55

20 apr 2007

25 feb 2007

JAnDbot
robot Aggiungo: cs, ja, pl Modifico: zh
m
23:16
+90

24 lug 2006

Flavione
nessun oggetto della modifica
20:06
−93

17 lug 2006

Flavione
nessun oggetto della modifica
18:27
+3

29 giu 2006

Chlorpromazine
→‎Logica intuizionistica come paradigma del ragionamento logico
11:36
+90

8 giu 2006

Senpai
no stub
10:24
−19

28 mag 2006

21 mag 2006

8 mag 2006

Paulatz bot
Bot: Sostituzione automatica (-\{\{[Dd]a[ _]aiutare[^|]*\|motivo=([^|]*)\|([^}]*) +{{A|\1||\2|)
m
14:42
−19

2 mag 2006

1 mag 2006

Wiso
cat
17:13
−25

25 dic 2005

Eskimbot
robot Aggiungo: fr
m
10:09
+30

9 nov 2005

YurikBot
robot Aggiungo: zh
m
16:39
+20

4 mag 2005

20 dic 2004

Hellis
nessun oggetto della modifica
20:43
+23

5 giu 2004

Template namespace initialisation script
nessun oggetto della modifica
09:10
−14

3 mar 2004

Giomol
Aggiunto indice (ripreso da voce inglese)
23:55
+133

50 meno recenti

Estratto da "https://it.wikipedia.org/wiki/Speciale:Cronologia/Logica_intuizionista"