Rachunek kwantyfikatorów (Q225487)

    Add links
    From Serwis Kart Wzorcowych
    Revision as of 13:07, 26 November 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Rachunek kwantyfikatorów" (pl)] with Lapacz)
    (diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
    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"