Prawdziwość formuły zdaniowej: Historia i autorzy

10 lut 2022

• bież.poprz. 11:1711:17, 10 lut 2022‎ MiniMiniBomba dyskusja edycje‎ 737 bajtów +21‎ zamieniono natywne symbole na kod LaTeX anuluj edycję [przejrzana przez Pyrlandczyk]

8 gru 2015

• bież.poprz. 23:3523:35, 8 gru 2015‎ Sławek Borewicz dyskusja edycje‎ 716 bajtów −7‎ poprawa przek., WP:SK, dodanie parametru do szablonu {{Dopracować}}, kategoryzacja problemów występujących w artykułach anuluj edycję [automatycznie przejrzana]

10 lis 2007

• bież.poprz. 11:1611:16, 10 lis 2007‎ Olaf dyskusja edycje‎ m 723 bajty +35‎ {{dopracować|latex}} kat anuluj edycję [przejrzana przez PG]

26 gru 2006

• bież.poprz. 21:5721:57, 26 gru 2006‎ Φιλο dyskusja edycje‎ 688 bajtów +210‎ Nie podano opisu zmian anuluj edycję

9 gru 2006

• bież.poprz. 12:0212:02, 9 gru 2006‎ Kpjas dyskusja edycje‎ m 478 bajtów +10‎ {{Linki}} anuluj edycję

7 gru 2006

• bież.poprz. 14:4814:48, 7 gru 2006‎ Φιλο dyskusja edycje‎ 468 bajtów +146‎ Vr(M) anuluj edycję
• bież.poprz. 14:3414:34, 7 gru 2006‎ Φιλο dyskusja edycje‎ 322 bajty +322‎ Nowa strona: Formuła zdaniowa A danego języka pierwszego rzędu jest prawdziwa przy interpretacji M = <nowiki><U, ∆></nowiki> tego języka wtw formuła zdaniowa A jest spełniona przy interpreta...