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 - Couverture souple

Homer, Steven

9783540527343: 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

Couverture souple

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Editeur : Springer, 2009

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 13,13

4 Neuf

De EUR 26,39

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2009
Langue: anglais
ISBN 10: 3540527346
ISBN 13: 9783540527343
Reliure: Broch�
Nombre de pages: 176
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Assez bon

162 pages, a very good plus paperback...

Afficher cet article

EUR 13,13

Exp�dition �EUR 8,04
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 26,39

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9780387527345: Logic and Computer Science: Lectures

Edition pr�sent�e

ISBN 10 : 0387527346 ISBN 13 : 9780387527345
Couverture souple

Springer, 2014 (Couverture souple)

R�sultats de recherche pour Logic and Computer Science: Lectures given at the 1st...

Image d'archives

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

Edit� par Springer-Verlag, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Ancien ou d'occasion Soft cover

Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Soft cover. Etat : Very Good. 162 pages, a very good plus paperback, ex-university library [3540527346]. N� de r�f. du vendeur 111585

Contacter le vendeur

Acheter D'occasion

EUR 13,13

Exp�dition �EUR 8,04
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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, ODIFREDDI Piergiorgio [Editor]

Edit� par Springer, 1990. 9783540527343, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Ancien ou d'occasion Couverture souple

Vendeur : Rothwell & Dunworth (ABA, ILAB), Dulverton, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

8vo. Original printed card covers (softback) (VG). Pp. 162 (pages tanned; previous owner's neat inscription on front endpaper). N� de r�f. du vendeur 185809

Contacter le vendeur

Acheter D'occasion

EUR 11,83

Exp�dition �EUR 14,36
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Edit� par Berlin, Springer, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Ancien ou d'occasion Softcover

Vendeur : Antiquariat Bookfarm, L�bnitz, Allemagne

�valuation du vendeur 5 sur 5 �toiles

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. N� de r�f. du vendeur 2485454

Contacter le vendeur

Acheter D'occasion

EUR 12

Exp�dition �EUR 40
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic and Computer Science

Steven Homer|Anil Nerode|Richard A. Platek|Gerald E. Sacks|Andre Scedrov

Edit� par Springer Berlin Heidelberg, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : 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. N� de r�f. du vendeur 4892495

Contacter le vendeur

Acheter neuf

EUR 26,39

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logic and Computer Science

Steven Homer

Edit� par Springer Berlin Heidelberg Jul 1990, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540527343

Contacter le vendeur

Acheter neuf

EUR 26,70

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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

Edit� par Springer Berlin Heidelberg, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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. N� de r�f. du vendeur 9783540527343

Contacter le vendeur

Acheter neuf

EUR 26,70

Exp�dition �EUR 61,39
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

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.)

Edit� par Springer, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Neuf Taschenbuch

impression � la demande

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : 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 | Lecture Notes in Mathematics | Einband - flex.(Paperback) | Englisch | 1990 | Springer | EAN 9783540527343 | Verantwortliche Person f�r die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. N� de r�f. du vendeur 102140349

Contacter le vendeur

Acheter neuf

EUR 26,55

Exp�dition �EUR 70
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

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

Sacks, Gerald E.

Edit� par Springer, 1990

ISBN 10 : 3540527346 ISBN 13 : 9783540527343

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: B�cher | 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. N� de r�f. du vendeur 548069/202

Contacter le vendeur

Acheter D'occasion

EUR 19,52

Exp�dition �EUR 105
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier