Metalogic : an introduction to the metatheory of standard first order logic /
Na minha lista:
Autor principal: | Hunter, Geoffrey. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/99868 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
First-order logic /
por: Smullyan, Raymond M.,
Publicado em: (2022) -
A philosophical companion to first-order logic /
por: Hughes, R. I. G.
Publicado em: (2022) -
Foundations of logic and theory of computation /
por: Sernadas, Amílcar., et al.
Publicado em: (2022) -
Extensions of first order logic /
por: Manzano, Maria.
Publicado em: (2022) -
Introduction to logic /
por: Suppes, Patrick,
Publicado em: (2022)