Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)

Granstr�m, Johan Georg

ISBN 10: 9400736398 ISBN 13: 9789400736399

Editorial: Springer, 2013

Idioma: Ingl�s

Condici�n: Usado - Como Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Mispah books, Redhill, SURRE, Reino Unido

Vendedor de AbeBooks desde 15 de abril de 2021

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Como Nuevo

Precio: EUR 244,42 Convertir moneda

EUR 28,80 gastos de env�o desde Reino Unido a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo ERICA80094007363986

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Treatise on Intuitionistic Type Theory (Logic, Epistemology, and the Unity of Science, 22) (English and German Edition)

Editor

Springer

Fecha de publicaci�n

2013

Idioma

Ingl�s

ISBN 10

9400736398

ISBN 13

9789400736399

Encuadernaci�n

Paperback

Estado

Like New

Tipo de libro

book

Cat�logos de vendedores

Acerca de

Sinopsis

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.

Acerca del autor

Johan G. Granstr�m (1977) holds an Uppsala doctorate in mathematical logic (2009). He had the privilege of having Em.Prof. Per Martin-L�f, the father of dependent types, as doctoral supervisor (2003-2009), along with Prof. Erik Palmgren, a renowned expert in constructive mathematics.

Dr. Granstr�m has been a short-term research fellow at Ludwig-Maximilians-Universit�t M�nchen (2006-2007) and a research associate in formal methods for MDA at King’s College London (2009). Before entering into doctoral studies he was employed in the computer industry as systems developer, consultant, and software architect (1998-2003). He worked as Systems and Solutions Architect at Svea Ekonomi (2009-2011) and is currently employed by Google, Z�rich (2011- ).

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

Descripci�n de la librer�a

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Mispah books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Derecho a cancelaci�n

Condiciones de env�o

Our rates depends on weight of the item & shipping destination

Tarifas de env�o de Reino Unido a Estados Unidos de America

Tarifas de env�o de Reino Unido a Estados Unidos de America
Cantidad del pedido	De 14 a 15 d�as h�biles	De 9 a 10 d�as h�biles
Primer art�culo	EUR 28.80	EUR 31.10

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.