Thuluviel közreműködései

Közreműködések szűrésekinyitbecsuk

⧼contribs-top⧽

IP-cím vagy felhasználónév:

Névtér:

Kijelölés megfordítása

Kapcsolódó névtér

Címkeszűrő:

Kijelölés megfordítása

Csak a jelenleg utolsónak számító változtatásokat mutassa

Csak az új oldalt létrehozó szerkesztéseket mutassa

Apró szerkesztések elrejtése

⧼contribs-date⧽

Dátumtól:

Dátumig:

Csak az ellenőrzésre váró változtatásokat mutassa

Valószínűleg jó szerkesztések elrejtése

08:182013. január 12., 08:18 eltér történet +419 Vita:Peano-aritmetika →Jelölések aktuális

20:102010. szeptember 26., 20:10 eltér történet +383 Ú Vita:Ekvivalenciareláció reláció mint halmazelméleti cucc

19:462010. július 11., 19:46 eltér történet +9 084 Logikai kalkulus →Gentzen típusú szekvenskalkulus: dualitás, intuicionizmus, 4 példa
16:362010. július 11., 16:36 eltér történet +703 Logikai kalkulus →Természetes levezetés: példa
14:252010. július 11., 14:25 eltér történet +363 Ú Vita:Logikai kalkulus boole aktuális

09:082010. július 10., 09:08 eltér történet +101 a Logikai kalkulus →Gentzen típusú szekvenskalkulus: szebb táblázat
08:572010. július 10., 08:57 eltér történet +2 a Logikai kalkulus →Az intuicionista logika kalkulusai
08:562010. július 10., 08:56 eltér történet +160 a Logikai kalkulus →Az intuicionista logika kalkulusai
08:532010. július 10., 08:53 eltér történet +782 a Logikai kalkulus →Az intuicionista logika kalkulusai: helykitöltésként még egy példa
08:212010. július 10., 08:21 eltér történet +303 a Logikai kalkulus →Az intuicionista logika kalkulusai
07:582010. július 10., 07:58 eltér történet +2 353 Logikai kalkulus →Frege-Hilbert típusú kalkulus: két példa

20:102010. július 9., 20:10 eltér történet +1 a Logikai kalkulus →Az intuicionista logika kalkulusai
20:082010. július 9., 20:08 eltér történet +1 983 Logikai kalkulus →Gentzen típusú szekvenskalkulus
18:442010. július 9., 18:44 eltér történet +2 892 Logikai kalkulus →Gentzen típusú szekvenskalkulus: félkész táblázat, mindjárt befejezem Címke: HTML-sortörés
16:542010. július 9., 16:54 eltér történet −22 a Logikai kalkulus →Klasszikus logika kalkulusai
16:542010. július 9., 16:54 eltér történet −22 a Logikai kalkulus →Az intuicionista logika kalkulusai
16:482010. július 9., 16:48 eltér történet −46 Logikai kalkulus már nem csonk az egész
16:472010. július 9., 16:47 eltér történet 0 a Logikai kalkulus Nincs szerkesztési összefoglaló
16:462010. július 9., 16:46 eltér történet +1 a Logikai kalkulus →Jegyzetek
16:462010. július 9., 16:46 eltér történet +10 Logikai kalkulus Nincs szerkesztési összefoglaló
16:432010. július 9., 16:43 eltér történet −1 166 Logikai kalkulus →Az intuicionista logika kalkulusai: jobb táblázat
16:362010. július 9., 16:36 eltér történet +1 a Logikai kalkulus →Klasszikus logika kalkulusai
16:352010. július 9., 16:35 eltér történet −749 Logikai kalkulus →Klasszikus logika kalkulusai: jobbratéve a táblázat
16:122010. július 9., 16:12 eltér történet +5 464 Logikai kalkulus →Természetes levezetés: megírva, még kell példa Címke: HTML-sortörés
15:162010. július 9., 15:16 eltér történet +814 Vita:Modális logika →Modalitás a nyelvben: én ezt nem olvasom el
13:152010. július 9., 13:15 eltér történet +1 a Logikai kalkulus →Helyesség, teljesség, adekvátság
13:052010. július 9., 13:05 eltér történet +226 Wikipédia:Kocsmafal (kezdőknek) →Cikk mint forrás
11:552010. július 9., 11:55 eltér történet +15 131 Logikai kalkulus források és Frege-Hilbert kalkulus Címke: HTML-sortörés
11:512010. július 9., 11:51 eltér történet +54 a Modális logika →Irodalom: szerkesztők
11:492010. július 9., 11:49 eltér történet +27 a Modális logika →Irodalom: elírás
09:222010. július 9., 09:22 eltér történet +128 Wikipédia:Kocsmafal (kezdőknek) →Cikk mint forrás
08:252010. július 9., 08:25 eltér történet +311 Wikipédia:Kocsmafal (kezdőknek) cite article?

21:292010. július 5., 21:29 eltér történet +24 a Logikai kalkulus angol interwiki
21:252010. július 5., 21:25 eltér történet +280 Logikai kalkulus interwiki
21:142010. július 5., 21:14 eltér történet +2 353 Ú Logikai kalkulus Létrehozva
19:282010. július 5., 19:28 eltér történet +416 Vita:Fogalomírás →Frege-axiómarsz. függetlensége stb.: 3. axióma
19:212010. július 5., 19:21 eltér történet 0 Fogalomírás →A Hilbert-kalkulus: 3. axióma hibás volt

14:022010. július 3., 14:02 eltér történet −2 a Wikipédia:Matematikai műhely/Tagjaink Nincs szerkesztési összefoglaló

12:532010. május 3., 12:53 eltér történet +44 Modális logika →S5: opcit
12:452010. május 3., 12:45 eltér történet −1 a Modális logika →B
12:442010. május 3., 12:44 eltér történet +99 Modális logika →B: opcit
12:402010. május 3., 12:40 eltér történet −306 Modális logika →S4: opcit
12:232010. május 3., 12:23 eltér történet +2 a Modális logika →Irodalom
12:222010. május 3., 12:22 eltér történet +9 a Modális logika →Irodalom
12:212010. május 3., 12:21 eltér történet +225 Modális logika →Irodalom: gödel
12:212010. május 3., 12:21 eltér történet +187 Modális logika →S4: opcit
12:122010. május 3., 12:12 eltér történet +11 a Modális logika →K4
12:112010. május 3., 12:11 eltér történet +634 Modális logika →K4: porolgatás, HBL-kritériumok
11:512010. május 3., 11:51 eltér történet −125 Modális logika →T: porolgatok
11:472010. május 3., 11:47 eltér történet +105 Modális logika →Normális modális rendszer (K): porolgatok

2013. január 12.

2010. szeptember 26.

2010. július 11.

2010. július 10.

2010. július 9.

2010. július 5.

2010. július 3.

2010. május 3.