The autonomy of mathematical knowledge : Hilbert s program revisited /
Na minha lista:
Autor principal: | Franks, Curtis. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/202375 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Introduccion a los espacios de Hilbert /
por: Nieto S., José I.
Publicado em: (2022) -
Hilbert calculi for the main fragments of Classical Logic
por: Greati, Vitor Rodrigues
Publicado em: (2019) -
Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássica
por: Gomes, Joel Felipe Ferreira
Publicado em: (2019) -
The principles of mathematics revisited /
por: Hintikkam, Jaakko,
Publicado em: (2022) -
Hilbert-style formalism for two-dimensional notions of consequence
por: Greati, Vitor Rodrigues
Publicado em: (2022)