Name: Mathematical Formulae (en Inglés)
Price: 70.32 USD
Availability: InStock
Author: Kubota, Ken
ISBN: 9783943334074

Selecciona tu país

América

Europa

Resto del mundo

portada Mathematical Formulae (en Inglés)

Formato

Libro Físico

Autor

Ken Kubota

Editorial

Owl of Minerva Press

Idioma

Inglés

N° páginas

830

Encuadernación

Tapa Blanda

Dimensiones

29.7 x 21.0 x 4.2 cm

Peso

1.95 kg.

ISBN13

9783943334074

Categorías

Lógica matemática

Mathematical Formulae (en Inglés)

Ken Kubota (Autor) · Owl of Minerva Press · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 22 días háb.

$ 127.85$ 70.32

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 50 unidades

$ 70.32

Llega entre el 03 Sep y el 15 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Mathematical Formulae (en Inglés)"

This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder λ (type abstraction), and (some of) the means necessary for dependent types (dependent type theory).For more information, please see: http: //doi.org/10.4444/100.10