Talk:Decidability of firstorder theories of the real numbers
WikiProject Mathematics  (Rated Stubclass, Lowimportance)  


This page is based on the copyrighted Wikipedia article "Talk:Decidability of firstorder theories of the real numbers"; it is used under the Creative Commons
AttributionShareAlike 3.0 Unported License (CCBYSA). You may
redistribute it, verbatim or modified, providing that you comply with
the terms of the CCBYSA