Name: Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)
Price: 2126.95 MXN
Availability: InStock
Author: Gilmore, Paul C.
ISBN: 9781568812755

Envío gratis

portada Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 (en Inglés)

Formato

Libro Físico

Autor

Paul C. Gilmore

Editorial

A K PETERS

Año

2005

Idioma

Inglés

N° páginas

252

Encuadernación

Tapa Dura

ISBN

1568812752

ISBN13

9781568812755

Categorías

Lógica matemática
Teoría de los conjuntos

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

Libro Físico

$ 2,126.95

$ 4,253.91

Ahorras: $ 2,126.95

50% descuento

Envío normal

Origen: Reino Unido (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Jueves 04 de Julio y el Martes 16 de Julio.

Lo recibirás en cualquier lugar de México 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.