- 5 resultados
menor preço: € 125,08, preço mais alto: € 240,28, preço médio: € 179,87
1
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Encomendar
no/na ZVAB.com
€ 181,89
Envio: € 12,991
Encomendar
Detalhes fornecedor
Link patrocinado
Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - encadernado, livro de bolso

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 12.99], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PRESENT; PREHISTORY, Druck auf Anfrage Neuware - A comp… mais…

NEW BOOK. Custos de envio: EUR 12.99 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fechar(X)
2
History and Philosophy of Constructive Type Theory - Giovanni Sommaruga
Encomendar
no/na ZVAB.com
€ 181,89
Envio: € 0,001
Encomendar
Detalhes fornecedor
Link patrocinado

Giovanni Sommaruga:

History and Philosophy of Constructive Type Theory - encadernado, livro de bolso

2000, ISBN: 0792361806

[EAN: 9780792361800], Neubuch, [SC: 0.0], [PU: Springer Netherlands], FOUNDATION; HISTORYOFLITERATURE; ISSUE; LOGIC; MATHEMATICS; PREHISTORY; PRESENT, Druck auf Anfrage Neuware - A compre… mais…

NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
fechar(X)
3
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - Sommaruga, Giovanni
Encomendar
no/na amazon.co.uk
£ 106,89
(aproximadamente € 125,08)
Envio: € 5,621
Encomendar
Detalhes fornecedor
Link patrocinado
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290) - encadernado, livro de bolso

2000

ISBN: 9780792361800

Springer, Hardcover, Auflage: 2000, 377 Seiten, Publiziert: 2000-07-31T00:00:01Z, Produktgruppe: Book, 1.55 kg, Books Global Store, Special Features, Books, Historiography, Historical Stu… mais…

Gebraucht, wie neu. Custos de envio:Usually dispatched within 13 to 14 days. Les coûts d'expédition peuvent différer des coûts réels. (EUR 5.62) BOOKS etc
fechar(X)
4
Encomendar
no/na AbeBooks.fr
€ 240,28
Envio: € 10,341
Encomendar
Detalhes fornecedor
Link patrocinado
Sommaruga Giovanni:
History and Philosophy of Constructive Type Theory - encadernado, livro de bolso

2000, ISBN: 0792361806

[EAN: 9780792361800], Nouveau livre, [SC: 10.34], [PU: Springer], Print on Demand pp. 388 54:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Blue Cloth w/Jacket on White w/Gloss Lam, Books

NEW BOOK. Custos de envio: EUR 10.34 Majestic Books, Hounslow, United Kingdom [51749587] [Note: 4 (sur 5)]
fechar(X)
5
Encomendar
no/na alibris.co.uk
€ 170,19
Encomendar
Detalhes e envio
Link patrocinado
Sommaruga, Giovanni:
History and Philosophy of Constructive Type Theory - encadernado, livro de bolso

2000, ISBN: 9780792361800

Hard cover, New., Sewn binding. Cloth over boards. With dust jacket. 367 p. Synthese Library, 290., Dordrecht, [PU: Springer]

Custos de envio:mais custos de envio Sparks, NV, Alibris
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)
Autor:
Título:
Número ISBN:

0792361806


A comprehensive survey of Martin-LAf's constructive type theory, considerable parts of which have only been presented by Martin-LAf 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-LAf 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.

Dados detalhados do livro - History and Philosophy of Constructive Type Theory: 290 (Synthese Library, 290)


EAN (ISBN-13): 9780792361800
ISBN (ISBN-10): 0792361806
Livro de capa dura
Livro de bolso
Ano de publicação: 2000
Editor/Editora: Springer
388 Páginas
Peso: 0,742 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-01-25T12:58:33+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-06-15T22:58:58+01:00 (Lisbon)
Número ISBN/EAN: 0792361806

Número ISBN - Ortografia alternativa:
0-7923-6180-6, 978-0-7923-6180-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: sommaruga giovanni, martin löf
Título do livro: synthese, philosophy history, history and theory, constructive type theory, just type

Dados da editora

Autor: Giovanni Sommaruga
Título: Synthese Library; History and Philosophy of Constructive Type Theory
Editora: Springer; Springer Netherland
367 Páginas
Ano de publicação: 2000-07-31
Dordrecht; NL
Língua: Inglês
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
X, 367 p.

BB; 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; BC

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.

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9789401593939 History and Philosophy of Constructive Type Theory (Giovanni Sommaruga)

< Para arquivar...