Rachunek sekwentów (Q1781161)

    Add links
    From Serwis Kart Wzorcowych
    Revision as of 23:26, 21 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Rachunek sekwentów with Lapacz)
    No description defined
    • Rachunek Gentzena
    • Rachunek sekwentowy
    • Rachunki Gentzena
    • Rachunki sekwentów
    • Sekwenty Gentzena
    • System Gentzena
    • System LK
    • Systemy Gentzena
    • Sequent calculus
    Language Label Description Also known as
    English
    Rachunek sekwentów
    No description defined
    • Rachunek Gentzena
    • Rachunek sekwentowy
    • Rachunki Gentzena
    • Rachunki sekwentów
    • Sekwenty Gentzena
    • System Gentzena
    • System LK
    • Systemy Gentzena
    • Sequent calculus

    Statements

    Version
    Crone: Brewess
    0 references
     
    Retrieved from "https://kartywzorcowe.lab.dariah.pl/w/index.php?title=Item:Q1781161&oldid=3364411"