Scedrov (80 results)
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
HOMER, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: G. & J. CHESTERS, TAMWORTH, United KingdomG. & J. CHESTERS
Contact seller5-star sellerCondition: Used - Very good
US$ 15.27
US$ 9.35 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346].
Logic and Computer Science : Lectures Given at the First Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-18, 1988
Sacks, G. E., Platek, R. A., Scedrov, Andrej, Homer, S., Nerode, Anil
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 28.46
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United KingdomRothwell & Dunworth (ABA, ILAB)
Contact seller5-star sellerCondition: Used
US$ 13.76
US$ 18.03 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper).
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, . 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 34.63
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 3, November 1986
BUCHHOLZ W., CARTMELL J., DEKKER J. C. E., GUREVICH Y., SHELAH S., MURLY P. S., SCEDROV A.
Published by Amsterdam - 1986, 1986
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1986, in-8, broché, 105 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 32, Number 1, September 1986
BLASS A., GUREVICH Y., DOWNEY R. G., FLAGG R. C., FRIEDMAN H., PILLAY A., POINT F., SCEDROV A.
Published by Amsterdam - 1986, 1986
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1986, in-8, broché, 109 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Published by Amsterdam - 1986, 1986
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1986, in-8, broché, 104 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 27, Number 1, August 1984
FRIEDMAN H., SCEDROV A., PEARCE J., VANDER HOEVEN G., MOERDIJK I.
Published by Amsterdam - 1984, 1984
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1984, in-8, broché, 107 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
Annals of pure and applied logic (Formerly: Annals of Mathematical Logic). Volume 25, Number 2, November 1983
BALDWIN S., FRIEDMAN H. M., SCEDROV A., SIMPSON S. G., SMITH R. L., SHELAH S.
Published by Amsterdam - 1983, 1983
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.82
US$ 17.44 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1983, in-8, broché, 110 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 44.68
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)
Okada, Mitsuhiro, Pierce, Benjamin, Scedrov, Andre, Tokuda, Hideyuki, Yonezawa, Akinori
- Softcover
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Very good
US$ 41.26
US$ 4.50 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. 488 pp., Paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, ... 1988 (Lecture Notes in Mathematics, 1429)
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 38.89
US$ 12.51 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Hardcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 47.98
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Logic and Computer Science
Andre Scedrov, Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1990
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 55.07
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1990 ed. The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.…
Logic and Computer Science. Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme Italy June 20-28 1988.
Homer, Steven; Nerode, Anil; Platek, Richard A.; Sacks, Gerald E.; Scedrov, Andre
- Softcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used - Very good
US$ 14.18
US$ 45.90 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. Condition: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01582 3540527346 Sprache: Englisch Gewicht in Gramm: 550.
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.29
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 59.57
US$ 5.33 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Hardcover. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
More imagesLanguage: English
Published by American Mathematical Society, Providence, Rhode Island, 1984
- Softcover
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.Munster & Company LLC, ABAA/ILAB
Contact seller5-star sellerCondition: Used - Very good
US$ 65.00
US$ 1.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Providence, Rhode Island: American Mathematical Society, 1984. x, 93 pp. 25.5 x 18 cm. Stiff white paper wrappers with red lettering to cover and spine. Light sunning to spine, with some light creasing, light rubbing, and light soil to covers. Some curling to bottom corner of covers and text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good.…
More images- Softcover
- First Edition
Seller: avelibro OHG, Dinkelscherben, Germanyavelibro OHG
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - Very good
US$ 57.92
US$ 11.48 shippingShips from Germany to U.S.A.Quantity: 1 available
22,5 x 15 cm. Condition: Gut. 1. Auflage. XVII, 296 Seiten Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Ecken und Kanten leicht berieben, Lagerspuren. - North-Holland Mathematical Library, volume 39. B09-21-09Y Sprache: Englisch Gewicht in Gramm: 500.…
Tools and Methods for Program Analysis : 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Itsykson, Vladimir (EDT); Scedrov, Andre (EDT); Zakharov, Viktor (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.57
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Pella Books, Pella, IA, U.S.A.Pella Books
Contact seller2-star sellerCondition: Used - Good
US$ 60.00
US$ 10.50 shippingShips within U.S.A.Quantity: 1 available
Trade Paperback. Condition: Used Good. No writing or marks.
Software Security -- Theories and Systems : Theories and Systems : Tokyo, Japan, November 2002 : Revised Papers
Okada, M. (EDT); Pierce, B.; Scedrov, A. (EDT); Tokuda, H. (EDT); Yomezawa (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.52
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More imagesLanguage: English
Published by American Mathematical Society, Providence, Rhode Island, 1989
- Softcover
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.Munster & Company LLC, ABAA/ILAB
Contact seller5-star sellerCondition: Used - Very good
US$ 75.00
US$ 1.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Providence, Rhode Island: American Mathematical Society, 1989. x, 134 pp. 25.5 x 18 cm. Glossy stiff paper wrappers printed with dark blue, with white and dark blue lettering to covers and spine. Memoirs of the Mathematical Society, Volume 79, Number 404, May 1989. Light sunning to spine, with some rubbing to spine ends. Some light soil and slight age toning to covers, with light curling to corners. Some light creases to upper corner of text block. Interior is clean and unmarked. Binding sound with no creases or cracks. . Soft Cover. Very Good. …
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 73.93
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. minor wear and creasing cover warped.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.88
US$ 12.51 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 47.97
US$ 35.00 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types. …
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.88
US$ 15.08 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 81.10
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.55
US$ 20.69 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.87
US$ 20.69 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
