Rachunek kwantyfikatorów (Q225487)

    From Serwis Kart Wzorcowych
    No description defined
    • Logika kwantyfikatorów
    • Logika predykatów
    • Rachunek predykatów
    • Predicate calculus
    • Predicate logic
    edit
    Language Label Description Also known as
    English
    Rachunek kwantyfikatorów
    No description defined
    • Logika kwantyfikatorów
    • Logika predykatów
    • Rachunek predykatów
    • Predicate calculus
    • Predicate logic

    Statements

    National Library Identifier
    a0000003770765
    0 references
    Related Subject
    Logika matematyczna
    0 references
    Kwantyfikator
    0 references
    Logika diachroniczna
    0 references
    Logika formalna
    0 references
    Logika niefregowska
    0 references
    Type
    Unknown
    0 references
    Version
    P40617T42614
    0 references
     
    Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q225487&oldid=5645868"