A short introduction to intuitionistic logic /
Na minha lista:
Autor principal: | Mints, Grigori. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/106134 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
A short introduction to intuitionistic logic /
por: Minëtìs, G. E.
Publicado em: (2022) -
Proof methods for modal and intuitionistic logics /
por: Fitting, Melvin,
Publicado em: (2022) -
Intuitionistic type theory /
por: Martin-Lof, Per., et al.
Publicado em: (2022) -
Intuitionistic logic model theory and forcing /
por: Fitting, Melvin,
Publicado em: (2022) -
Logic : a very short introduction /
por: Priest, Graham.
Publicado em: (2022)