CORRIGENDUM TO: "QUANTIFIER ELIMINATION IN VALUED ORE MODULES"

Autor: BÉLAIR, LUC, POINT, FRANÇOISE
Zdroj: The Journal of Symbolic Logic, 2012 Jun 01. 77(2), 727-728.
Databáze: JSTOR Journals