Foundations without foundationalism : a case for second-order logic /
Na minha lista:
Autor principal: | Shapiro, Stewart |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/117201 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Second-order quantifier elimination : foundations, computational aspects and applications /
por: Gabbay, Dov M.,, et al.
Publicado em: (2022) -
Foundations of mathematical logic /
por: Curry, Haskell B.
Publicado em: (2022) -
Predicate logic : the semantic foundations of logic/
por: Epstein, Richard L.
Publicado em: (2022) -
Logicism renewed : logical foundations for mathematics and computer science /
por: Gilmore, Paul C.
Publicado em: (2022) -
Classical mathematical logic : the semantic foundations of logic /
por: Epstein, Richard L.,, et al.
Publicado em: (2022)