Close App de Bookish

App de BookishLee más y mejor

Descargar
Google 4.6
★★★★★
Google reviews
Menu User
Buscar
Suscríbete ahora Suscríbete ahora
Logo Librería Lé Close
Mi cesta

¡Te faltan sólo para conseguir tu envío gratis!

Envío gratis

Envío gratis

🎉 ¡Enhorabuena! Has conseguido el envío gratis

Envío gratis

Envío gratis

¡Te faltan sólo para conseguir tu regalo!

Regalo

Regalo

🎉 ¡Enhorabuena! Has conseguido tu envío gratis y un regalo

Regalo

Regalo

Gastos de envío España peninsular

Total

Imp. incluidos

Finalizar Compra
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Like

Detalles del libro

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.
Leer más

  • Autor/a Lawrence C. (University Of Cambridge) Paulson
  • ISBN13 9780521395601
  • ISBN10 0521395607
  • Páginas 320
  • Año de Edición 1990
  • Fecha de publicación 26/07/1990
  • Idioma Alemán, Francés
Leer más

Reseñas y valoraciones

¡Sé la primera persona en valorarlo!

¿Has leído Logic and Computation: Interactive Proof with Cambridge LCF?

Bookish APP iOS Bookish APP Android
Logic and Computation: Interactive Proof with Cambridge LCF
Like

Logic and Computation: Interactive Proof with Cambridge LCF (Alemán, Francés)

64,22€ 67,60€ -5%
Envío Gratis
No disponible
64,22€ 67,60€ -5%
Envío Gratis
No disponible
  • Visa
  • Mastercard
  • Klarna
  • Bizum
  • American Express
  • Paypal
  • Google Pay
  • Apple Pay
Devolución gratis Info
¡Gracias por comprar en librerías reales! ¡Gracias por comprar en librerías reales!

Más libros de Lawrence C. (University Of Cambridge) Paulson

Promociones exclusivas, descuentos y novedades en nuestra newsletter

Formatos (0 resultados)
X

Habla con tu librera
¿Necesitas ayuda para encontrar un libro?
¿Quieres una recomendación personal?

Whatsapp