Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

Paul C. Gilmore

ISBN 10: 1568812752 ISBN 13: 9781568812755

Editorial: A K Peters/CRC Press, 2005

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por dsmbooks, Liverpool, Reino Unido

Vendedor de AbeBooks desde 28 de septiembre de 2015

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 257,13 Convertir moneda

EUR 31,19 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

New. SHIPS FROM MULTIPLE LOCATIONS.

N� de ref. del art�culo D7S9-1-M-1568812752-6

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

Editor

A K Peters/CRC Press

Fecha de publicaci�n

2005

Idioma

Ingl�s

ISBN 10

1568812752

ISBN 13

9781568812755

Encuadernaci�n

hardcover

Estado

New

Tipo de libro

book

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Acerca del autor

Paul C. Gilmore

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

collection of few very good books

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

dsmbooks
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

we ship all orders with in the specified shipping date.

Derecho a cancelaci�n

Condiciones de env�o

We use international air service to deliver products.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 20 a 25 d�as h�biles	De 9 a 10 d�as h�biles
Primer art�culo	EUR 31.19	EUR 34.65

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.