Teoria typów (Q652541)

    Add links
    From Serwis Kart Wzorcowych
    Revision as of 02:26, 2 November 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Teoria typów" (pl), "Teoria typów" (en)] with Lapacz)
    No description defined
    • Type theory
    • Typów, teoria
    Language Label Description Also known as
    English
    Teoria typów
    No description defined
    • Type theory
    • Typów, teoria

    Statements

    P4 (Deleted Property)
    Logika matematyczna Property P4 not found, cannot determine the data type to use.
    0 references
    Type
    Unknown
    0 references
    Version
    Thaler
    0 references
     
    Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q652541&oldid=5091506"