Nonaxiomatizability results for infinitary systems (Q5601465)

From MaRDI portal
scientific article; zbMATH DE number 3322082
Language Label Description Also known as
English
Nonaxiomatizability results for infinitary systems
scientific article; zbMATH DE number 3322082

    Statements