Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów: Historia i autorzy

Wybór porównania – zaznacz kropeczkami dwie wersje do porównania i wciśnij enter lub przycisk Porównaj wybrane wersje.
Legenda: (bież.) – pokaż zmiany od tej wersji do bieżącej, (poprz.) – pokaż zmiany od wersji poprzedzającej, m – mała (drobna) zmiana

bież.poprz. 22:1822:18, 11 wrz 2023‎ Luki dyskusja edycje‎ m 63 360 bajtów −2‎ Zastępowanie tekstu – „<math> ” na „<math>”
bież.poprz. 21:3421:34, 11 wrz 2023‎ Luki dyskusja edycje‎ m 63 362 bajty −16‎ Zastępowanie tekstu – „.↵</math>” na „</math>”

bież.poprz. 10:3310:33, 5 wrz 2023‎ Luki dyskusja edycje‎ m 63 378 bajtów −17‎ Zastępowanie tekstu – „<math> ” na „<math>”
bież.poprz. 10:0210:02, 5 wrz 2023‎ Luki dyskusja edycje‎ m 63 395 bajtów −8‎ Zastępowanie tekstu – „ </math>” na „</math>”
bież.poprz. 09:3509:35, 5 wrz 2023‎ Luki dyskusja edycje‎ m 63 403 bajty 0‎ Zastępowanie tekstu – „,</math>” na „</math>,”

bież.poprz. 17:5817:58, 28 sie 2023‎ Luki dyskusja edycje‎ m 63 403 bajty −3‎ →‎Język rachunku predykatów
bież.poprz. 08:4708:47, 28 sie 2023‎ Luki dyskusja edycje‎ m 63 406 bajtów −2618‎ Zastępowanie tekstu – „\displaystyle ” na „”

bież.poprz. 15:2615:26, 10 cze 2020‎ Luki dyskusja edycje‎ m 66 024 bajty −870‎ Zastępowanie tekstu - "\textnormal" na "\text"

bież.poprz. 12:4112:41, 9 cze 2020‎ Luki dyskusja edycje‎ m 66 894 bajty +5‎ Zastępowanie tekstu - "\aligned" na "\begin{align}"
bież.poprz. 12:3312:33, 9 cze 2020‎ Luki dyskusja edycje‎ m 66 889 bajtów 0‎ Zastępowanie tekstu - "\endaligned" na "\end{align}"
bież.poprz. 12:2212:22, 9 cze 2020‎ Luki dyskusja edycje‎ m 66 889 bajtów +2026‎ Zastępowanie tekstu - "\textrm{" na "\text{"