Proofs and algorithms : an introduction to logic and computability /
Na minha lista:
Autor principal: | Dowek, Gilles. |
---|---|
Formato: | Livro |
Publicado em: |
|
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/246356 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Proof, computation and agency : logic at the crossroads /
por: Benthem, J. F. A. K. van,, et al.
Publicado em: (2022) -
Logic and computation : interactive proof. with Cambridge LCF /
por: Paulson, Lawrence C.
Publicado em: (2022) -
Handbook of logic and proof techniques for computer science /
por: Krantz, Steven G.
Publicado em: (2022) -
Proof and disproof in formal logic : an introduction for programmers /
por: Bornat, Richard,
Publicado em: (2022) -
A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn.
Publicado em: (2022)