Semantics and logics of computation /
Na minha lista:
Principais autores: | Pitts, A. M., Dybjer, Peter. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/215710 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Logic for computer scientists /
por: Schoning, Uwe,
Publicado em: (2022) -
Predicate logic : the semantic foundations of logic/
por: Epstein, Richard L.
Publicado em: (2022) -
Classical mathematical logic : the semantic foundations of logic /
por: Epstein, Richard L.,, et al.
Publicado em: (2022) -
Logic for applications /
por: Nerode, Anil., et al.
Publicado em: (2022) -
What logics mean : from proof theory to model-theoretic semantics /
por: Garson, James W.,
Publicado em: (2022)