Hardbound.
FREE Two-Day Shipping for Students. Learn more |
Book Description
Editorial Reviews
Review
June 1999 ...A scholarly overview and up-to-date account of the field. -- Aslib Book Guide
June 1999 ...A scholarly overview and up-to-date account of the field. -- Aslib Book Guide
June 1999 ...A scholarly overview and up-to-date account of the field. -- Aslib Book Guide
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Exploiting the fundamental concepts of computability theory, computable model theory introduces effective analogues of model-theoretic notions. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Symbolic Logic, Pure Appl, Logic Found, Logik Grundlag, Siberian Math, Cornell Univ, Monash Univ, Sketch Proof, New York, Soviet Math, Notre Dame, All-Union Conf, Aspects of Effective Algebra, London Math, Upside Down, Yarra Glen, Anil Nerode's Sixtieth Birthday, Logical Methods, Logic Quart, Trudy Mat, Formal Logic, Logic Colloq, Pure Math, Discrete Math, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Surprise Me!
Exploiting the fundamental concepts of computability theory, computable model theory introduces effective analogues of model-theoretic notions. Read the first page Key Phrases - Capitalized Phrases (CAPs): (learn more)
Symbolic Logic, Pure Appl, Logic Found, Logik Grundlag, Siberian Math, Cornell Univ, Monash Univ, Sketch Proof, New York, Soviet Math, Notre Dame, All-Union Conf, Aspects of Effective Algebra, London Math, Upside Down, Yarra Glen, Anil Nerode's Sixtieth Birthday, Logical Methods, Logic Quart, Trudy Mat, Formal Logic, Logic Colloq, Pure Math, Discrete Math, Elsevier Science New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Surprise Me!
Citations (learn more)
This book cites 61
books:
See all 61 books this book cites
- Recursion Theory (Proceedings of Symposia in Pure Mathematics) by Anil Nerode on 11 pages
- Handbook of Boolean Algebras, Volume Volume 1 by Author Unknown on 9 pages
- Model Theory, Third Edition (Studies in Logic and the Foundations of Mathematics) by C.C. Chang on 9 pages
- Theory of Recursive Functions and Effective Computability by Hartley Rogers on 8 pages
- Constructive Models (Siberian School of Algebra and Logic) by Yuri L. Ershov on 7 pages
See all 61 books this book cites
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
