Abstract
The later chapters of this book give decision procedures for various theories of fields. If T denotes such a theory, we might give a naive description of a decision procedure as a system of instructions for deciding in a finite number of steps whether or not a given sentence 𝜃 belongs to T. We elaborate, more precisely, on two types of procedures, model-theoretic and algebraic.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
