10% de desconto

Higher-Order Logic And Type Theory

de John L. (University Of Western Ontario) Bell
Livro eBook
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, março de 2022 ‧
24,33€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Higher-Order Logic And Type Theory

de John L. (University Of Western Ontario) Bell

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