Szablon:Teorie formalne logiki
Pozycje linkujące: 10, specjalne: 0, problemy?: 0, RAZEM: 10
Informacje diagnostyczne
- definicja szablonu
Szablon nawigacyjny
- zadeklarowane kategorie
- 1
- podstawy matematyki
- kategorie w kodzie
- 0
- głębokość drzewa
- 1
- liczba liści
- 1
- prywatny CSS
- teorie_formalne_logiki
Kanoniczne zestawienie parametrów
| nazwa = Teorie formalne logiki | tytuł = [[Teoria (logika)|Teorie formalne]] w [[Logika matematyczna|logice matematycznej]] | spis1 = * [[klasyczny rachunek zdań]] * [[Rachunek predykatów pierwszego rzędu|klasyczny rachunek kwantyfikatorów]] * [[logika wielowartościowa]] ** [[logika trójwartościowa]] ** [[logika rozmyta]] * [[logika intuicjonistyczna]] * [[logika parakonsystentna]] * [[logika wolna]] * [[logika modalna]] * [[logika temporalna]] | kategoria = podstawy matematyki