- 5 Resultados
precio mínimo: € 134,99, precio máximo: € 212,64, precio promedio: € 183,92
1
Pedir
por booklooker.de
€ 134,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Sommaruga, Giovanni:

History and Philosophy of Constructive Type Theory - Pasta blanda

2010, ISBN: 9789048154036

Pasta dura

[ED: Softcover], [PU: Springer Netherlands], A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
cerrar (X)
2
Pedir
por Indigo.ca
C$ 288,50
(aprox. € 200,89)
Pedir
Detalles y envío
Enlace patrocinado
History and Philosophy of Constructive Type Theory - libro nuevo

ISBN: 9789048154036

A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… Más…

new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío
cerrar (X)
3
Pedir
por Indigo.ca
C$ 312,50
(aprox. € 212,64)
Pedir
Detalles y envío
Enlace patrocinado
History and Philosophy of Constructive Type Theory - libro nuevo

ISBN: 9789048154036

A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference tal… Más…

new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío
cerrar (X)
4
History and Philosophy of Constructive Type Theory - Sommaruga, Giovanni
Pedir
por Achtung-Buecher.de
€ 189,07
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - Pasta blanda

2010, ISBN: 9048154030

Pasta dura

Softcover reprint of hardcover 1st ed. 2000 Kartoniert / Broschiert Geschichte, Geschichtsschreibung, Historiographie, Philosophie: Logik, Ethik und Moralphilosophie, foundation; histor… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
5
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Pedir
por Hugendubel.de
€ 181,99
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Giovanni Sommaruga:
History and Philosophy of Constructive Type Theory - Pasta blanda

2000, ISBN: 9048154030

Pasta dura

History and Philosophy of Constructive Type Theory ab 181.99 € als Taschenbuch: Softcover reprint of hardcover 1st ed. 2000. Aus dem Bereich: Bücher, Wissenschaft, Philosophie, Medien > B… Más…

Nr. 13445135. Gastos de envío:, , DE. (EUR 0.00)
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
History and Philosophy of Constructive Type Theory
Autor:
Título:
ISBN:

9789048154036


A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.

Detalles del libro - History and Philosophy of Constructive Type Theory


EAN (ISBN-13): 9789048154036
ISBN (ISBN-10): 9048154030
Tapa dura
Tapa blanda
Año de publicación: 2010
Editorial: Springer Netherlands
380 Páginas
Peso: 0,573 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2010-09-13T20:13:55-05:00 (Mexico City)
Página de detalles modificada por última vez el 2021-10-27T10:08:42-05:00 (Mexico City)
ISBN/EAN: 9789048154036

ISBN - escritura alterna:
90-481-5403-0, 978-90-481-5403-6
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: giovanni sommaruga
Título del libro: constructiv, history constructive type theory, die type, philosophy history, 290, history and theory

Datos del la editorial

Autor: Giovanni Sommaruga
Título: Synthese Library; History and Philosophy of Constructive Type Theory
Editorial: Springer; Springer Netherland
367 Páginas
Año de publicación: 2010-12-07
Dordrecht; NL
Impreso en
Idioma: Inglés
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 367 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; foundation; history; history of literature; issue; logic; mathematics; philosophy; prehistory; present; Logic; Moral Philosophy and Applied Ethics; Phenomenology; History; Ethik und Moralphilosophie; Phänomenologie und Existenzphilosophie; Geschichte; Geschichtsschreibung, Historiographie; BB; EA

1. The Present Version of Constructive Type Theory (1995).- 2. Metatheoretical Considerations.- 3. History of Constructive Type Theory (1970–95).- 4. Philosophical and Technical Prehistory of Constructive Type Theory (1880–1970).- Conclusion.- References.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< para archivar...