Logika matematyczna (Q1311520)

From wikibase-docker
Jump to navigation Jump to search
No description defined
edit
Language Label Description Also known as
English
Logika matematyczna
No description defined

    Statements

    National Library Identifier
    a0000001003849
    0 references
    Related Subject
    Arytmetyka Presburgera
    0 references
    Filozofia logiki
    0 references
    Funkcja boolowska
    0 references
    Kwantyfikator
    0 references
    Logika formalna
    0 references
    Matematyka odwrotna
    0 references
    Metamatematyka
    0 references
    Niesprzeczność
    0 references
    Podstawy matematyki
    0 references
    Semantyka Kripkego
    0 references
    Twierdzenia Gödla
    0 references
    Logika algebraiczna
    0 references
    Logika infinitarna
    0 references
    Logika rozmyta
    0 references
    Rachunek kombinatorów
    0 references
    Rachunek lambda
    0 references
    Rachunek sekwentów
    0 references
    Sylogistyka
    0 references
    Teoria typów
    0 references
    Twierdzenie Craiga
    0 references
    Zbiór definiowalny
    0 references
    Type
    Unknown
    0 references
    Version
    P87789T74703
    0 references
     
    Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q1311520&oldid=6736203"