Proving Arrow's theorem by \texttt{PROLOG} (Q2385186)

From MaRDI portal





scientific article; zbMATH DE number 5199898
Language Label Description Also known as
default for all languages
No label defined
    English
    Proving Arrow's theorem by \texttt{PROLOG}
    scientific article; zbMATH DE number 5199898

      Statements

      Identifiers