Logics of time and computation /
Na minha lista:
Autor principal: | Goldblatt, Robert |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/103029 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Advances in modal logic /
por: Areces, Carlos., et al.
Publicado em: (2022) -
Quantifiers, propositions and identity : admissible semantics for quantified modal and substructural logics /
por: Goldblatt, Robert.
Publicado em: (2022) -
Introductory modal logic /
por: Konyndyk, Kenneth.
Publicado em: (2022) -
Tools and techniques in modal logic /
por: Kracht, Marcus.
Publicado em: (2022) -
The functional interpretation of logical deduction /
por: Queiroz, Ruy J. G. B. de., et al.
Publicado em: (2022)