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
WlVGNGRUVjNiVEIwVmpSRUt6QXlORWN6U2tSSFpqTlZjME5ITDA5TVlrRklhek5aYTI5RFVFTlNkM2d4VURNemNWSXdiVlpRYkRjMVVHbHhRbGROUjJwR2FEWlJWbVZYY2xsRlZHMHlSM2QwYmt4ckx5dERjazF3YlZOaWNsZDRTbk5MWm5OWFZsaHNNMnhYYTFaSlYwbGxNVEpOY2tOUlJISnBRMWcxY1VjeEwxSnlaV1VyTjFsUlVDdFJWblJpTmpsamR6WnVaMXBKYVhSSGQyRlRjRU50VWsxQkwza3pPR2RqZGtvNFYxSXdWRXRPTVVkbVdHOU5hazFIVEU1VFVXNWxjMjA1VmpOUFpHWnNOekJyTDA5c2QzWTVjVk5pT1dOVVFuZzJaMnRtUkc1VU9IVklkMUZNUVZSa2NrdzFWVVpMZGtSSlNsZFhWVFV4V1ZaUFZWcGFTM2N6U1RCdFIyZFBLelZOWVV4bVMweG5OMU5DYm5ObVFtcExTRTF6YTFGRlNFZHBOVkl5V1VWa2VVNDVNMkppTkdoc05YVlJkMjlEVnpOdlRHWTBjSGxWYmtRd05tbFhXa1pQV1ZGRU1tcDJWMHN6ZWxWWFUzcDZObTU2UVZBeVNuaG5ha04zV21aWmJUSkRZV2RIVUhnMWVVdHhPV05JYTA1bVluTkJhVUpJUnpsVVdXNUlaMGxGVHpCSlpsZGlObkZ4UjB4cFpsZGtZVmhUUzBsWWRFUnpjMGh0TmpkQmNWa3dTREJ1TjAxVU1WVXZhMjAyWlZnMmQxaEpTM2haV2xKcGFVNUZZVmQzYkVzeFFrcEtTbmhaVml0cWRFTnNZVGhLYVRSVFFVZGpNM0o1UVVsSlNEbEhTRlY1TUZSU1NsbFNaMGRNVkdwb00zaHpNR2RRYlc5SGVtazFhVE5JZUhWd1dtdFhPRmxTUnpoVVdGSlJTa2hKVTAwMVFXSklRazVFVVdOTlZEbEZSbFpPZVdJMGNVYzBSMHhaTkhOWmVEUTNlWGxpVkhaTmRDODRNMjlGU2paRVZHUk9ja2R2U1dKNWJESnZUbU5qWVZsSGJFWkVSVlo1VUc1Q2MyTXhRMjl4WkZwMk4zRnNPV2xNVDNod1oyNXpZVXh2Y1cxaWMyUkRkR3hPZG10blMzWnphRTlVYkhGT1QycGxabnAwTmtsM1QwdDJVbXhXZUVKUGNGaFlWV2RUZGxKakwzQkdkbEZqTVdRMFZFUmFTWEpEZW1wNlQzVnlaRUZoY1ZGUE9UZzVXazlhUjFaUE1GZEROVEk0VWxneVJYbDJLMlo2U3pFdmVIbFZjM05SYldsNWJqQTJSRXRSVG04MWRuQlpWbm80UTFNMVIzTnJPSGxTU3pCRFZqaE5XbkJ6YlRCRVQwNTNTVVJDUWpKRmRGaHhkeXRWUm5KallUa3pNRUpEZVZwQlJESnRkMWRwWTNaVFltbzRjMUV6VW5SblpBPT06MURUUy9qUE8zdUJaS3NpSHhPa3JRQT09
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
-
Logical Pluralism10%CAMBRIDGE UNIVERSITY PRESS66,92€
74,35€portes grátis -
Logical Pluralism10%CAMBRIDGE UNIVERSITY PRESS21,90€
24,33€portes grátis
-
A Primer Of Infinitesimal Analysis10%CAMBRIDGE UNIVERSITY PRESS77,06€ 10% CARTÃOportes grátis