Rachunek kwantyfikatorów (Q225487)

    Add links
    From Serwis Kart Wzorcowych
    Revision as of 20:47, 19 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Rachunek kwantyfikatorów with Lapacz)
    No description defined
    • Logika kwantyfikatorów
    • Logika predykatów
    • Rachunek predykatów
    • Predicate calculus
    • Predicate logic
    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

    Version
    Azar Javed
    0 references
     
    Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q225487&oldid=2239395"