The Move from One to Two Quantifiers

From MaRDI portal
Publication:5258969