10% de desconto

Introduction To Higher-Order Categorical Logic

de P. J. Scott e J. Lambek
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, março de 1988 ‧
83,82€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. Detailed references are provided and each section concludes with exercises.

Introduction To Higher-Order Categorical Logic

de P. J. Scott e J. Lambek

Propriedade Descrição
ISBN: 9780521356534
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: março de 1988
Idioma: Inglês
Encadernação: Capa mole
Páginas: 304
Tipo de produto: Livro
Coleção: Cambridge Studies In Advanced Mathematics
Classificação Temática: Livros em Inglês > Ciências Sociais e Humanas > Filosofia
EAN: 9780521356534