adicionar à lista de desejos
Twenty Five Years Of Constructive Type Theory eBook
idioma: inglês
Editor:
CLARENDON PRESS, outubro de 1998 ‧
ver detalhes do produto
84,79€
10% DESCONTO
CARTÃO
ZUZKR2VVSkljMnBUUmxWT2VFNXVSa3h0U2pjMU0yZDVkR1ZxUW1waU9WQlJOWE12VVRaNGNrSkNabG95TUdRMVJYTjFTbE55Y1hoUFIyWjBjbEU0ZGxkWlpYaFljMVJDTWxSalJXMTBlV0pTUW1KME5uaHliWFZUTjFGd1ZYQXZlazlzYW5oTGQxTnhORUZ0TjB0TGEwTlhPVWR2Y0hoVWMyeGFUR0phY1ZORVIxaDROMjFzVG1KNVMwaG9VVlpHZDNaRVIwSjVja3R6ZFVWQlpHcGpUMDVNVlhsR2VVNHZUa0poSzB4bGVHSk9iVWh0YUhGWFoyMWhhR3QyVVdZMEsyTTNhemhCVURGWFZIRlBNREZVTkdrcmNsY3lWbVZLVFhZeU0xTk1ZWEYyWTI1Q1VITXdabFo1V1ZaR1UwNTFVbWxOY1c5RllWZzNRbll6VDJkUFJtOHllSHAyU0VvMFp6RnNPSE5UTTBRME5tVlhLMUV5ZFRodmJWQk1VMVpaU1VkRUwyaG5aR2xoUzFKb1QwbFZNMEpDV0RCU05UTmxPRmR5YW1OdWJ6TTJTRWhGVGtjNFNsaEtMMDFJU1Vwa2VtTnNTalZ6UTJWQ2JGVmFaV2QxTnpnM05TOUJUSFI1YWxkelJYTk5PRE5DUW04ME1EWTNhbWcxYjBaNVpFcHdhV0pGYzJNM1ZsZDZLMnhSV1hWdWExVndSekpPTjNCU1NXWXhiMDVZUVZaNGJtRndlVzVEZG5FNFFYWlJSR0Y1VWpSTWNHdEhjbTFyWkdkclNVcFpaVWM1V1cxUE16RlVTMUJ0V2t0WVFWWnlkVk5hTVRreVJUQmlVVEIyTkRaU1NFUlVXVUY1UlhRekwwdEJRMmhFVVVsUmRsaHBlVTB6YUU5MlNtZFNXa2hOTW1NeWFTOXlORmN2UkdKeVdqSkxWR05UYVhJck5XRm1TR05HU210RlExVTBjSGN2VURsaFZWbHFTbGxWWkZOU0x6QTNkR0UxVkZWRlpFdENOVEl2Y2pCcWRtRm1SbXRvVG1OcVoyZ3dWRzFMU21seWVHdElOa2x0ZG1WVGEwVlhaVE5sWTJGWVMxbDFXVEZoZDFSalVWUlVOME5KUjNWM1YxcEpjWHBRV1VwR1NIVnRObXhYZVhwRlUyVXhURmxIZG1oUlRqaDZXVkJNWkRWM1dETXdPSHByTkV0amNHVllWVW8xYm1jeE5FdFJZMUk1VWxCU05FbDNaRFJEWjJab1ZWTXlRalZUTUVjMVlVcG9lbUpYVkdkWFducHFXVkJXUVVKVlNHNDRWaThyVEdablpsUkZTMHRGUFE9PToxRTNaYlIwSHdkaTh5SHdTZi84UEhRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9780191589034 |
| Editor: | CLARENDON PRESS |
| Data de Lançamento: | outubro de 1998 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Oxford Logic Guides |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9780191589034 |
LIVROS DA MESMA COLEÇÃO
-
imagem não disponívelSet TheorySet TheoryeBook10%OUP Oxford43,71€ 10% CARTÃO
-
Controlling The Capital10%Oxford University Press118,97€ 10% CARTÃOportes grátis