Categorical logic and type theory /
Na minha lista:
Autor principal: | Jacobs, Bart. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/102166 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Topoi : the categorical analysis of logic /
por: Goldblatt, Robert,
Publicado em: (2022) -
Introduction to higher order categorical logic /
por: Lambek, Joachim., et al.
Publicado em: (2022) -
Sets, logic, and categories /
por: Cameron, Peter J.
Publicado em: (2022) -
An introduction to mathematical logic and type theory : to truth through proof /
por: Andrews, P. B.
Publicado em: (2022) -
Conceptual mathematics : a first introduction to categories /
por: Lawvere, F.W., et al.
Publicado em: (2022)