Compartir
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)
Paul C. Gilmore
(Autor)
·
A K PETERS
· Tapa Dura
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés) - Gilmore, Paul C.
$ 147.310
$ 245.520
Ahorras: $ 98.210
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Reino Unido
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Jueves 18 de Julio y el
Martes 30 de Julio.
Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)"
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion theory and the semantics of computer programs than that currently provided by category theory.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.