Logic and Computation (Paperback)

Lawrence C. Paulson

5 valutazioni di Goodreads

Lingua: inglese

Editore: Cambridge University Press, Cambridge, 1990

0521395607 / 9780521395601

Serie: Libro 3 di 40 - Cambridge Tracts in Theoretical Computer Science

Da: CitiRetail, Stevenage, Regno UnitoCitiRetail

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 79,86

EUR 43,15 spedizione 
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Paperback. Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9780521395601

Titolo
Logic and Computation (Paperback)
Autore
Lawrence C. Paulson
Editore
Cambridge University Press, Cambridge
Anno di pubblicazione
1990
Condizione
new
Rilegatura
Paperback
Lingua
inglese
ISBN 10
0521395607
ISBN 13
9780521395601
Serie
Libro 3 di 40: Cambridge Tracts in Theoretical Computer Science

CitiRetail

Stevenage, Regno Unito

Venditore con 5 stelle

Venditore AbeBooks dal 29 giugno 2022

Tariffe di spedizione da Regno Unito a U.S.A.

ArticoloDa 7 a 14 giorni lavorativiDa 7 a 60 giorni lavorativi
Primo articoloEUR 43,15EUR 43,15
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.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Online business

Informazioni sull’azienda del venditore

ABC BOOKS LIMITED

10 John Street
London, Regno Unito WC1N 2EB