9781107036505 - type theory and formal proof: an introduction de geuvers, herman; nederpelt, rob (20 resultados)

ISBN

Filtrar la búsqueda

  • Libros (20)

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 99,56

    Envío por EUR 2,31 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 101,96

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 97,36

    Envío por EUR 14,07 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. In.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 97,35

    Envío por EUR 17,61 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New.

  • Idioma: Inglés

    Editorial: Cambridge University Press, GB, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de AmericaRarewaves USA

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 116,29

     Gastos de envío gratis 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential

  • Idioma: Inglés

    Editorial: Cambridge University Press, GB, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 129,19

     Gastos de envío gratis 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential

  • Idioma: Inglés

    Editorial: Cambridge Univ Pr, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 139,14

    Envío por EUR 14,68 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 2 disponibles

    Hardcover. Condición: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock.

  • Idioma: Inglés

    Editorial: Cambridge University Press, GB, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de AmericaRarewaves USA United

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 118,87

    Envío por EUR 43,80 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 114,11

    Envío por EUR 64,89 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery,

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 178,00

    Envío por EUR 9,20 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weigh

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 170,50

    Envío por EUR 17,61 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books

    Vendedor de 4 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 160,83

    Envío por EUR 29,35 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Usado - Como Nuevo

    EUR 193,46

    Envío por EUR 2,31 
    Se envía dentro de Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: As New. Unread book in perfect condition.

  • Idioma: Inglés

    Editorial: Cambridge University Press, GB, 2014

    110703650X / 9781107036505

    • Tapa dura

    Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 121,60

    Envío por EUR 76,31 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura
    • Primera edición

    Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 202,59

    Envío por EUR 10,50 
    Se envía de Irlanda a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Condición: New. A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory. Num Pages: 490 pages, 35 b/w illus. 125 exercises. BIC Classification: UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 254 x 177 x 29. Weigh

  • Idioma: Inglés

    Editorial: Cambridge Univ Pr, 2014

    110703650X / 9781107036505

    • Tapa dura
    • Impresión bajo demanda

    Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 99,55

    Envío por EUR 14,68 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: Brand New. 436 pages. 10.00x7.00x1.00 inches. In Stock. This item is printed on demand.

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2014

    110703650X / 9781107036505

    • Tapa dura
    • Impresión bajo demanda

    Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 103,62

    Envío por EUR 24,43 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

  • Idioma: Inglés

    Editorial: Cambridge University Press, Cambridge, 2014

    110703650X / 9781107036505

    • Tapa dura
    • Impresión bajo demanda

    Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 105,20

    Envío por EUR 43,44 
    Se envía de Reino Unido a Estados Unidos de America

    Cantidad disponible: 1 disponibles

    Hardcover. Condición: new. Hardcover. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, th

  • Idioma: Inglés

    Editorial: Cambridge University Press, 2016

    110703650X / 9781107036505

    • Tapa dura
    • Impresión bajo demanda

    Librería: moluna, Greven, Alemaniamoluna

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 104,09

    Envío por EUR 48,99 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: Más de 20 disponibles

    Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of

  • Más imágenes

    Idioma: Inglés

    Editorial: Cambridge University Press, 2016

    110703650X / 9781107036505

    • Tapa dura
    • Impresión bajo demanda

    Librería: preigu, Osnabrück, Alemaniapreigu

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 107,95

    Envío por EUR 70,00 
    Se envía de Alemania a Estados Unidos de America

    Cantidad disponible: 5 disponibles

    Buch. Condición: Neu. Type Theory and Formal Proof | Rob Nederpelt (u. a.) | Buch | Gebunden | Englisch | 2016 | Cambridge University Press | EAN 9781107036505 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.