adicionar à lista de desejos
Higher-Order Logic And Type Theory
Livro
eBook
idioma: inglês
Editor:
CAMBRIDGE UNIVERSITY PRESS, março de 2022 ‧
ver detalhes do produto
24,33€
10% DESCONTO
CARTÃO
UkVWME5ITlNTVlp5UlRGMVlVMXJTWGh0VEdwVWVEaHlUbUV5WjJVclR6UkdZVk5HVEU1d2MxWlZMMGdyVmpCQk0wSmtlRnBJZDFSd1MySk5LMU14VFcxRWNqVXdPRkJoU1cxMU5HNUZjM3BZY214SmVHWlFUelp0VW5WTlRrMTRTSEl3YnpKeFdsQTVSbTVwUjNScFFrTnlaSGwyY2sxSFIxSkJLMFZLUTBwUVpXd3dTRTVrUjNoT2IyRnJTa2R3YVdscmJWRmpMMHQzYVVWb1duRk9TRlZZYlhwM2QyTnBSMGh4Y2xZMVFWVnBWRWREYjFWVmEwRkdRazlVUkRSRFQzVldUbEEyTWxZelIwdFdXalJXUmtJdlZ6bDBjekpGY1RCYVRXWklRbE5vTUdwblVEaDNNMDF3Vm10cGNrSnJkVXRDUmtwb1ZXTm1SM04xV0hkalpYZFlNbXhXYVhCelpHZGxiVnAyTlhaVE4ycE1iRE5hZDFsT1EwWlRRbFJMVFVSM2N6RmtaV3Q0YWpGUmJGTmlNRXgyU2k5a09HaEZRM1pGVG5CVVlVMXZVek5wVVdKNmFsbHdablUwZDNsMGFWZ3lURzlKYzI5aE9VMUlVbFJRTXk5TVNqZDVNRWRRY3pSaE1qUXpNMGhSVkhsWVZsWm1SMlZzVkRaU1kxUjNiVzk1YTNKVlRXVjNORWRyWTJFMGRHMXVkVEJhVWs1TUwxZEdRelZUYkU5cE1VTnRXR05WVlRsMVMwUlhXR2hOVVRGaEwweHBjRU41WlhSTk5sVTRhMFJQU3pRNVlqQnRla1JEZUVGS1JVVnZlQzkzYm1WSU5VVkNXVlp2Tm5ReFpreExWVXBRYWtkVU9FOXRObGczVjI1eU5teG5NRU41U0hoNlZHcFRjMGh3Y1ZKS1p5OUdkbGxwY1hwUVEweEhUMkpYZVVaRVVHWlhWbGcwYjFaWlIxbFZjbFZQY0ZOVGVIbFFUMU5GYVhSTGRVbzRjMVpUTWtRNVRrbEJXR3hLU1doYVNXbHlXWGg0SzFSTmIwUXplRU13ZFVSbFVrMTBiREFyTm5KeVltbGtSMHBDVHpOWlZqWndZM2RtVkVscmNUUlJXa3N4ZEZkc1p6SlFkREpNZEdoVE5HOXRZMGxvWmpkT2RpOW5iRE0zTTI4MGJIVnBiV1kxYlZSNWNUTnlMMjVXZVhoeFkyZG9ibVpITDBWWlkwWktjbkJ1VEVGU1NuSkhiVFpyUWpsVFUzaFBibTFFTDFKbFZGWmpNbnAxYTA4eVNWUnVZM0oxU1M5UkwxQk9XazVIZEZOaFFsZG9jUzlLYWl0T1puVTBZV3hWWVU1aVRXbE1ZbWxQVjJKUVZIZG9iWFUwYldoaFVtTjBVRzF0ZW1JeVdtbHFVRlI0V0VScU1EVjNUMjQyTURWdmJXa3dTbTlIU1VjclpHbHFWbGh6WVhkSE9YaHhXR2Q1Um5aSFV3PT06VFhIN1RpN2lNVW5OeVo5ekljZHZndz09
portes grátis
Venda o seu livro
SINOPSE
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781108986908 |
| Editor: | CAMBRIDGE UNIVERSITY PRESS |
| Data de Lançamento: | março de 2022 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 88 |
| Tipo de produto: | Livro |
| Coleção: | Elements In Philosophy And Logic |
| Classificação Temática: |
Livros em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
Livros em Inglês > Outros |
| EAN: | 9781108986908 |
LIVROS DA MESMA COLEÇÃO
-
10%Logical PluralismCAMBRIDGE UNIVERSITY PRESS66,92€
74,35€portes grátis -
10%Logical PluralismCAMBRIDGE UNIVERSITY PRESS21,90€
24,33€portes grátis
-
10%A Primer Of Infinitesimal AnalysisCAMBRIDGE UNIVERSITY PRESS81,11€ 10% CARTÃOportes grátis