Title: Another proof of Tarski's quantifier elimination theorem for real closed fields
Abstract
View Upcoming Events
Subscribe to iCal