Computability and logic /
Na minha lista:
Principais autores: | Boolos, George S., Burgess, John P., Jeffrey, Richard C. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/124960 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
The logic of provability /
por: Boolos, George S.
Publicado em: (2022) -
The logic of decision /
por: Jeffrey, Richard C.
Publicado em: (2022) -
Formal logic : its scope and limits /
por: Jeffrey, Richard C.
Publicado em: (2022) -
Logicism renewed : logical foundations for mathematics and computer science /
por: Gilmore, Paul C.
Publicado em: (2022) -
Logic for mathematics and computer science /
por: Burris, Stanley N.
Publicado em: (2022)