Realizability : an introduction to its categorical side /
Na minha lista:
Autor principal: | Oosten, Jaap van. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/136103 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Categorical logic and type theory /
por: Jacobs, Bart.
Publicado em: (2022) -
Topoi : the categorical analysis of logic /
por: Goldblatt, Robert,
Publicado em: (2022) -
Formal logic : its scope and limits /
por: Jeffrey, Richard C.
Publicado em: (2022) -
Introduction to logic /
por: Suppes, Patrick,
Publicado em: (2022) -
Logic and its apllications /
por: Burke, Edmund,, et al.
Publicado em: (2022)