Proof, logic and formalization/
Na minha lista:
Autor principal: | Detlefsen, Michael. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/51363 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Language, proof and logic /
por: Barwise, Jon., et al.
Publicado em: (2022) -
Systems of formal logic /
por: Hackstaff, L. H.
Publicado em: (2022) -
Logic: techniques of formal reasoning/
por: Kalish, Donald., et al.
Publicado em: (2022) -
Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre,
Publicado em: (2022) -
Formal logic : its scope and limits /
por: Jeffrey, Richard C.
Publicado em: (2022)