Episodes in Model-Theoretic Xenology: Rationals as Positive Integers in R#

From MaRDI portal
Publication:5019129