Nerode A (59 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.45
US$ 9.46 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].
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
US$ 11.10
US$ 16.90 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. Lecture Notes in Artificial Intelligence 928, Previous owner's sticker on the front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used.
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.
Language: English
Published by Springer, 1997
- Hardcover
Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contact seller5-star sellerCondition: Used - Good
US$ 25.72
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. 2nd. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
- Softcover
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United KingdomRothwell & Dunworth (ABA, ILAB)
Contact seller5-star sellerCondition: Used
US$ 13.92
US$ 18.25 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).
- Hardcover
Seller: Pella Books, Pella, IA, U.S.A.Pella Books
Contact seller2-star sellerCondition: Used - Good
US$ 23.96
US$ 10.50 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Used Good. No Jacket.
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$ 35.68
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! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
Language: English
Published by Secaucus, New Jersey, U.S.A.: Springer Verlag, 1997
- Softcover
- International Edition
Seller: Sizzler Texts, SAN GABRIEL, CA, U.S.A.Sizzler Texts
Contact seller5-star sellerInternational EditionCondition: New
US$ 20.95
US$ 14.99 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: New. Dust Jacket Condition: New. 2nd Edition. **International edition** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The bo…ok printed in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service.
Language: English
Published by Springer, New York, NY, 1997
- Softcover
- International Edition
Seller: Aideo Books, San Marino, CA, U.S.A.Aideo Books
Contact seller5-star sellerInternational EditionCondition: New
US$ 29.97
US$ 9.98 shippingShips within U.S.A.Quantity: 2 available
Trade paperback. Condition: New in new dust jacket. 2nd ed. ***INTERNATIONAL EDITION*** Read carefully before purchase: This book is the international edition in mint condition with the different ISBN and book cover design, the major content is printed in full English as same as the original North American edition. The book prin…ted in black and white, generally send in twenty-four hours after the order confirmed. All shipments contain tracking numbers. Great professional textbook selling experience and expedite shipping service. Sewn binding. Cloth over boards. 469 p. Contains: Illustrations. Graduate Texts in Computer Science. Audience: General/trade.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
US$ 40.13
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Annals of mathematical logic. Volume 17, Number 3, December 1979
WHEELER W. H., EKLOF P. C., MEKLER A. H., BAUMGARTNER J. E., LAVER R., METAKIDES G., NERODE A.
Published by Amsterdam - 1979, 1979
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.96
US$ 17.65 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1979, in-8, broché, 116 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 artic…le.
Published by Amsterdam - 1980, 1980
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.96
US$ 17.65 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1980, in-8, broché, 89 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 articl…e.
Annals of mathematical logic. Volume 11, Number 2, August 1977
METAKIDES G., NERODE A., SGRO J., DEVLIN K. J.,PARIS J. B., MAGIDOR M., MALITZ J.
Published by Amsterdam - 1977, 1977
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 11.96
US$ 17.65 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1977, in-8, broché, 115 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 artic…le.
Published by Amsterdam - 1986, 1986
- Softcover
Seller: Sylvain Paré, Montolieu, FranceSylvain Paré
Contact seller5-star sellerCondition: Used
US$ 17.94
US$ 17.65 shippingShips from France to U.S.A.Quantity: 1 available
Add to basketEd. North-Holland, Amsterdam - 1986, in-8, broché, 222 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 artic…le.
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$ 39.36
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
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, intuitio…nistic 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.35
US$ 46.46 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.
Language: English
Published by American Mathematical Society Providence, 1985
- Hardcover
Seller: Antiquariat Herold, Berlin, GermanyAntiquariat Herold
Contact seller5-star sellerCondition: Used
US$ 19.14
US$ 44.13 shippingShips from Germany to U.S.A.Quantity: 1 available
fester Einband. . Leinen, 127 Seiten, Kl4°. * Namenseintrag, ansonsten guter Zustand (K12). 1150 gr.
- Hardcover
- First Edition
Seller: Antiquariat Deinbacher, Murstetten, AustriaAntiquariat Deinbacher
Contact seller5-star sellerCondition: Used
US$ 14.35
US$ 48.78 shippingShips from Austria to U.S.A.Quantity: 1 available
1.Auflage.. VIII, 148 Seiten Einband etwas berieben, Bibl.Ex., sonst guter und sauberer Zustand 9783540064282 Sprache: Englisch Gewicht in Gramm: 420 8° , Leinen- Hardcover/Pappeinband.
Language: English
Published by Providence, American mathematical Society, 1985
- Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used - Very good
US$ 17.93
US$ 46.46 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780821814475 Sprache: Engl…isch Gewicht in Gramm: 1150.
Language: English
Published by Providence, American mathematical Society, 1985
- Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used - Very good
US$ 17.93
US$ 46.46 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780821814475 Sprache: Engl…isch Gewicht in Gramm: 550.
Language: English
Published by Springer, 2012
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
- First Edition
Seller: bmyguest books, Toronto, ON, Canadabmyguest books
Contact seller4-star sellerCondition: Used - Very good
US$ 62.72
US$ 14.99 shippingShips from Canada to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. First Edition Thus. Funchal, Madeira Island, Portugal, October3-6, 1995 : Proceedings (Lecture Notes) # 990. Clean Over All With No Marks Folds Or Highlights Inside. In Very Good Condition.We will state signed at the description section. we confirm they are signed via email or stated in the descr…iption box. - Specializing in academic, collectiblle and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
Language: English
Published by Springer-Verlag New York Inc., US, 2012
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 78.37
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. Second Edition 1997. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced…by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.72
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2012
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.72
US$ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 1997
- Hardcover
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contact seller4-star sellerCondition: New
US$ 99.99
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Satisfaction Guaranteed or your money back.
Language: English
Published by Springer New York, 2012
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 56.50
US$ 56.90 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 1997
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - Good
US$ 121.65
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
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 UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 39.35
US$ 87.86 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, intuitio…nistic logic and PROLOG programming.
