Order Total (1 Item Items):
Shipping Destination:
Matthew Valeriote (38 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (38)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (31)
- As New, Fine or Near Fine (4)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (14)
- Not Print on Demand (27)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
The Structure of Decidable Locally Finite Varieties
Book 9 of 170: Progress in MathematicsSeller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Association Member: ABAA CBA ILAB
Seller rating 5 out of 5 stars
Hardcover. Condition: Near Fine. Boston: Birkhauser, 1989. viii,212 pp. 23.5 x 15.5 cm. Glossy paper covered boards printed dark green with white lettering. Very light rubbing to covers consistent with minimal shelfwear. Interior is clean and unmarked. Binding firm. . Hard Cover. Near Fine.
-
Structure of Decidable Locally Finite Varieties (Progress in Mathematics)
Book 9 of 170: Progress in MathematicsSeller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Good. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
-
Lectures on Algebraic Model Theory
Language: English
Published by American Mathematical Society, 2001
ISBN 10: 0821827057 ISBN 13: 9780821827055
Seller: Michener & Rutledge Booksellers, Inc., Baldwin City, KS, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Text clean and solid; no dust jacket; Fields Institute Monographs, 15; 0.5 x 10.2 x 7.2 Inches; 111 pages.
-
Structure of Decidable Locally Finite Varieties (Progress in Mathematics, 79)
Book 9 of 170: Progress in MathematicsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Structure of Decidable Locally Finite Varieties (Progress in Mathematics)
Book 9 of 170: Progress in MathematicsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 228.
-
Structure of Decidable Locally Finite Varieties
Book 9 of 170: Progress in MathematicsSeller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 2011. Paperback. . . . . .
-
Structure Of Decidable Locally Finite Va
Book 9 of 170: Progress in MathematicsLanguage: English
Published by Birkhauser Boston Inc, 1989
ISBN 10: 0817634398 ISBN 13: 9780817634391
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Series: Progress in Mathematics. Num Pages: 216 pages, biography. BIC Classification: PBF. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1100. . 1989. Hardback. . . . .
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: New. 2011. Paperback. . . . . . Books ship from the US and Ireland.
-
Structure Of Decidable Locally Finite Va
Book 9 of 170: Progress in MathematicsLanguage: English
Published by Birkhauser Boston Inc, 1989
ISBN 10: 0817634398 ISBN 13: 9780817634391
Condition: New. Series: Progress in Mathematics. Num Pages: 216 pages, biography. BIC Classification: PBF. Category: (G) General (US: Trade); (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 14. Weight in Grams: 1100. . 1989. Hardback. . . . . Books ship from the US and Ireland.
-
-
Gebunden. Condition: New.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A mathematically precise definition of the intuitive notion of 'algorithm' was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e. , that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A.
-
Algebraic Model Theory (Nato Science Series C:, 496)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 137.84
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Algebraic Model Theory (Nato Science Series C:, 496)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 137.84
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New. pp. 296.
-
Condition: New. pp. 300.
-
Taschenbuch. Condition: Neu. Algebraic Model Theory | Bradd T Hart (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2010 | Springer | EAN 9789048148844 | Verantwortliche Person für die EU: Springer Netherlands, Haberstr. 7, 69126 Heidelberg, buchhandel-buch[at]springer[dot]com | Anbieter: preigu.
-
Algebraic Model Theory
Language: English
Published by Springer Netherlands, 2010
ISBN 10: 9048148847 ISBN 13: 9789048148844
Condition: New. Proceedings of the NATO Advanced Study Institute on Algebraic Model Theory, Toronto, Canada, 19-30 August 1996 Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation grou.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented.
-
Algebraic Model Theory
Language: English
Published by Springer Netherlands, Springer Netherlands, 1997
ISBN 10: 0792346661 ISBN 13: 9780792346661
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented.
-
Algebraic Model Theory (NATO Science Series C: (Closed))
Language: English
Published by Springer Netherlands, 1997
ISBN 10: 9048148847 ISBN 13: 9789048148844
Paperback. Condition: Brand New. 296 pages. 9.00x6.25x0.67 inches. In Stock.
-
Paperback. Condition: Like New. Like New. book.
-
Kluwer Academic Publishers, Nato Asi séries (séries C : mathematical and physical sciences, vol. 496), 1997, 277 p., broché, environ 23x15cm, bon état. En anglais.
-
Condition: New. Print on Demand pp. 228 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam.
-
Condition: New. PRINT ON DEMAND pp. 228.
-
Algebraic Model Theory
Language: English
Published by Springer Netherlands Dez 2010, 2010
ISBN 10: 9048148847 ISBN 13: 9789048148844
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Recent major advances in model theory include connections between model theory and Diophantine and real analytic geometry, permutation groups, and finite algebras. The present book contains lectures on recent results in algebraic model theory, covering topics from the following areas: geometric model theory, the model theory of analytic structures, permutation groups in model theory, the spectra of countable theories, and the structure of finite algebras. Audience: Graduate students in logic and others wishing to keep abreast of current trends in model theory. The lectures contain sufficient introductory material to be able to grasp the recent results presented. 296 pp. Englisch.
