Pages that link to "Item:Q556680"
From MaRDI portal
The following pages link to A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680):
Displaying 2 items.