Proof methods for modal and intuitionistic logics /
Na minha lista:
Autor principal: | Fitting, Melvin |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/211942 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Intuitionistic logic model theory and forcing /
por: Fitting, Melvin,
Publicado em: (2022) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
por: Troelstra, A. S.
Publicado em: (2022) -
Advances in modal logic /
por: Schmidt, Renate.
Publicado em: (2022) -
Proof theory of modal logic /
por: Wansing, H.
Publicado em: (2022) -
Proof theory for fuzzy logics /
por: Metcalfe, George, et al.
Publicado em: (2022)