Publication:4081227
From MaRDI portal
zbMath0319.02036MaRDI QIDQ4081227
Publication date: 1975
91A99: Game theory
03B25: Decidability of theories and sets of sentences
08A05: Structure theory of algebraic structures
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items