Logika matematyczna
type: Item
National Library Identifier: a0000001003849
Related Subject: Arytmetyka drugiego rzędu
Related Subject: Arytmetyka Presburgera
Related Subject: Filozofia logiki
Related Subject: Funkcja boolowska
Related Subject: Językoznawstwo matematyczne
Related Subject: Kwantyfikator
Related Subject: Logika formalna
Related Subject: Matematyka odwrotna
Related Subject: Metamatematyka
Related Subject: Niesprzeczność
Related Subject: Podstawy matematyki
Related Subject: Programowanie w logice (informatyka)
Related Subject: Semantyka Kripkego
Related Subject: Twierdzenia Gödla
Related Subject: Eliminacja kwantyfikatorów
Related Subject: Logika algebraiczna
Related Subject: Logika infinitarna
Related Subject: Logika rozmyta
Related Subject: Matryca logiczna (matematyka)
Related Subject: Rachunek kombinatorów
Related Subject: Rachunek kwantyfikatorów
Related Subject: Rachunek lambda
Related Subject: Rachunek sekwentów
Related Subject: Sylogistyka
Related Subject: Teoria modeli (matematyka)
Related Subject: Teoria typów
Related Subject: Twierdzenie Craiga
Related Subject: Zbiór definiowalny
Type: Unknown
Version: P87789T74703