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
ISBN 10: 3540527346 ISBN 13: 9783540527343
Published by Springer, 1990
New
Soft cover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since March 25, 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9783540527343_new
Synopsis:
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Logic and Computer Science: Lectures given ...
Publisher: Springer
Publication Date: 1990
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
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)
Published by
Springer, 1990. 9783540527343, 1990
ISBN 10: 3540527346
ISBN 13: 9783540527343
Used
Softcover
Seller: Rothwell & Dunworth (ABA, ILAB), Dulverton, United Kingdom
Seller rating 5 out of 5 stars
8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper). Seller Inventory # 185809
Buy Used
US$ 13.77
US$ 13.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
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.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. 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. Seller Inventory # 2485454
Buy Used
US$ 14.52
US$ 18.79 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
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)
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346]. Seller Inventory # 111585
Buy Used
US$ 15.28
US$ 9.36 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
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
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 548069/202
Buy Used
US$ 21.26
US$ 123.34 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logic and Computer Science
Published by
Springer Berlin Heidelberg, 1990
ISBN 10: 3540527346
ISBN 13: 9783540527343
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Conje. Seller Inventory # 4892495
Buy New
US$ 31.93
US$ 57.54 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Logic and Computer Science
Published by
Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540527346
ISBN 13: 9783540527343
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch. Seller Inventory # 9783540527343
Buy New
US$ 32.30
US$ 70.48 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 1990
ISBN 10: 3540527346
ISBN 13: 9783540527343
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 9783540527343
Buy New
US$ 32.30
US$ 72.11 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
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
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. 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 | Steven Homer (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1990 | Springer | EAN 9783540527343 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Seller Inventory # 102140349
Buy New
US$ 32.30
US$ 82.22 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
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)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020169356
Stock Image
Logic and Computer Science
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 176. Seller Inventory # 263072270