Traduções via teoria da prova : aplicações à lógica linear /
Na minha lista:
Autor principal: | Medeiros, Maria da Paz Nunes de. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/91924 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Linguagem, prova e lógica /
por: Barker-Plummer, Dave., et al.
Publicado em: (2022) -
Lógica simbólica /
por: Hegenberg, Leônidas,
Publicado em: (2022) -
Introdução à lógica /
por: Cerqueira, Luiz Alberto.
Publicado em: (2022) -
Introdução à lógica /
por: Copi, Irving M.,, et al.
Publicado em: (2022) -
Introdução à lógica /
por: Copi, Irving M.,, et al.
Publicado em: (2022)