Jose2
sense resum d'edició
08:59
+2
16:06
16:45
+24
Katxis
Pàgina nova, en el contingut: «La '''llògica intuicionista''', o '''llògica constructivista''', és el sistema llògic originalment desenrollat per Arend Heyting per...»
10:54
+1005