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)

Editore

Springer-Verlag

Data di pubblicazione

1990

Lingua

Inglese

ISBN 10

3540527346

ISBN 13

9783540527343

Rilegatura

Soft cover

Condizione

Very Good

Cataloghi dei venditori

COMPUTERS

Descrizione articolo

Riassunto

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.

Contenuti

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Our shop is now closed. We work from a local warehouse. Visitors by appointment. Our stock of 45,000 items includes academic books, enthusiasts' books, and antiquarian books.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

G. & J. CHESTERS
United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

ALL BOOKS ARE IN VERY GOOD CONDITION UNLESS OTHERWISE DESCRIBED. ANY BOOK WHICH IS CONSIDERED TO BE WRONGLY DESCRIBED AND WITH WHICH THE CUSTOMER IS NOT SATISFIED MAY BE RETURNED AND MONEY WILL BE REFUNDED. TWO ASTERISKS AFTER THE DATE OF PUBLICATION SIGNIFY AN EX-LIBRARY COPY IN GENERALLY VERY GOOD CONDITION. "DW" IS AN ABBREVIATION FOR DUSTWRAPPER (OR DUST-JACKET).
ALL BOOKS ARE FIRST PRINTINGS OF THE FIRST EDITION UNLESS STATED DIFFERENTLY. ALL ARE HARDBACKS UNLESS DESCRIBED AS 'pbk' OR 'pape...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Postage and packing is always at cost (the only fair system) so please ignore the irrelevant default figure. If the book which you order is heavy or oversized, we will contact you to let you know that extra shipping is required. On the other hand, if the book is very light, we will reduce the postage costs.
If you know that the book which you wish to buy is heavy, you could email us to learn the postage before ordering.

Tariffe di spedizione da Regno Unito a Italia

Tariffe di spedizione da Regno Unito a Italia
Quantit� dell?ordine	Da 4 a 7 giorni lavorativi	Da 4 a 5 giorni lavorativi
Primo articolo	EUR 8.44	EUR 8.44

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.