Skip to main content alibris logo
Constructive Models - Ershov, Yuri L, and Goncharov, Sergei S
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

The theory of constructive (recursive) models follows from works of Froehlich, Shepherdson, Mal'tsev, Kuznetsov, Rabin, and Vaught in the 50s. Within the framework of this theory, algorithmic properties of abstract models are investigated by constructing representations on the set of natural numbers and studying relations between algorithmic and structural properties of these models. This book is a very readable exposition of the modern theory of constructive models and describes methods and approaches developed by ...

loading
Constructive Models 2012, Springer, New York, NY

ISBN-13: 9781461369325

Trade paperback

Constructive Models 2000, Springer, New York, NY

ISBN-13: 9780306110665

2000 edition

Hardcover