Schinzel B (14 results)

- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 6.29
US$ 17.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 475 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 790.…

- Softcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used - Very good
US$ 6.58
US$ 44.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Gut. 1984 edition. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. C-04407 354013901X Sprache: Englisch Gewicht in Gramm: 1150.

- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 60.16
US$ 14.95 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Computation and Proof Theory
Richter, M. M.; Borger, E.; Oberschelp, W.; Schinzel, B.; Thomas, W.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 74.68
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Computation and Proof Theory
Richter, M. M.; Borger, E.; Oberschelp, W.; Schinzel, B.; Thomas, W.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 75.00
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.

- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 90.42
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 488.

- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 67.62
US$ 39.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0 .- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, , , , , .- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order.…
More images- Softcover
Seller: Lacey Books Ltd, Cirencester, United KingdomLacey Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 102.27
US$ 33.10 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. 1999 British Museum Press large format out of print paperback edition. Light reading wear else good condition. Contents: 1. Does Reversibility Exist in Conservation? 2. Drawing the Line - Reversibility and Compromise in the Conservation of Arms and Armour 3. Is Reversibility an Option when Conserving Industrial Collections? 4. Restoration or Repair? The Dilemma of Ancient Scientific Instruments 5. Understanding Reversibility in Natural Science Collections 6. Back to Plastics 7. Plastic Surgery: Conservation Treatments for Flexible Polyurethane Foams: From Face-Lift to Donating the Corpse to Science 8. Volatile Binding Media - Useful Tools for Conservation 9. Restoration - A Kaleidoscope through History 10. Imperfect Reversibility in Paper Conservation 11. Questions of Reversibility in the Conservation of Paintings on Canvas 12. Aspects of Reversibility in Transferred Wall Paintings 13. Materials for Wall Paintings Conservation: Change of Physicochemical Properties, Ageing Effects, and Reversibility 14. Treatment of Previously Deacidified Paper Artifacts 15. Reversibility in the Restoration of Stone Artefacts: Real Possibilities and Objective Limits 16. Reversibility: A Questionable Philosophy 17. Access as a Factor Contributing to Compromise in Conservation-Treatment Decisions 18. Swelling as an Indicator of Removability 19. Reversibility - Politics and Economics 20. Opacity Contrariwise: The Reversibility of Deteriorated Surfaces on Vessel Glass 21. Reversibility - Myth and Mis-use 22. The Search for an Ideal: Reversibility in Ceramic Conservation 23. Reversibility: The Thinking Behind the Word 24. Reversibility - Achievable Goal or Illusion 25. Museum Changes to First Nations Objects, and their Physical and Conceptual Reversibility 26. How Greater Knowledge of an Object Can Affect an Assessment of the Reversibility of Previous Treatments 27. Reversibility: Dealing with a Ghost.…

- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - Very good
US$ 122.72
US$ 33.10 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.

- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 55.51
US$ 25.77 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0 .- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, , , , , .- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order. 488 pp. Englisch.…

- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 90.01
US$ 8.61 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 488 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 94.23
US$ 11.15 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 488.

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Richter, M. M.|Börger, E.|Oberschelp, W.|Schinzel, B.|Thomas, W.
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 50.72
US$ 54.89 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0.- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies. …

- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 55.51
US$ 67.23 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Contiguous R.E. Degrees.- Abstract construction of counterexamples in recursive graph theory.- Minimal degrees and 1-generic sets below 0 .- Undecidability and recursive equivalence II.- Logical syntax and computational complexity.- Subrecursive hierarchies via direct limits.- A star-finite relational semantics for parallel programs.- Between constructive and classical mathematics.- Partial closures and semantics of while: Towards an iteration-based theory of data types.- Toward logic tailored for computational complexity.- On a new notion of partial conservativity.- Finitely approximable sets.- A unified approach to constructive and recursive analysis.- On faithful interpretability.- Abstract recursion as a foundation for the theory of algorithms.- Some logical problems connected with a modular decomposition theory of automata.- Diophantine equations in a fragment of number theory.- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, , , , , .- On subsets of the Skolem class of exponential polynomials.- Effective operators in a topological setting.- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.…