Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

Paulson, Lawrence C.

5 valutazioni di Goodreads

Lingua: inglese

Editore: Cambridge University Press, 1987

0521346320 / 9780521346320

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

Da: thebookforest.com, San Rafael, CA, U.S.A.thebookforest.com

Venditore con 4 stelle

Venditore AbeBooks dal 3 gennaio 2023

Visualizza gli articoli di questo venditore
Rilegato

Condizione: Usato - Molto buono

EUR 153,83

EUR 4,38 spedizione 
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

Codice articolo BAY_08_SH_080796

Titolo
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)
Autore
Paulson, Lawrence C.
Editore
Cambridge University Press
Anno di pubblicazione
1987
Condizione
Very Good
Rilegatura
Rilegato
Lingua
inglese
ISBN 10
0521346320
ISBN 13
9780521346320
Serie
Libro 3 di 40: Cambridge Tracts in Theoretical Computer Science

thebookforest.com

San Rafael, CA, U.S.A.

Venditore con 4 stelle

Venditore AbeBooks dal 3 gennaio 2023

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 5 a 14 giorni lavorativiDa 3 a 6 giorni lavorativi
Primo articoloEUR 4,38EUR 7,90
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

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.