Logicism, intuitionism, and formalism : what has become of them? /
Na minha lista:
Autor principal: | Lindstrèom, Sten |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/126195 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
One hundred years of intuitionism (1907-2007) : the Cerisy conference /
por: Atten, Markus Sebastiaan Paul Rogier van,
Publicado em: (2022) -
Gnomes in the fog : the reception of Brouwer's intuitionism in the 1920s /
por: Hesseling, Dennis E.
Publicado em: (2022) -
Proof methods for modal and intuitionistic logics /
por: Fitting, Melvin,
Publicado em: (2022) -
Teoria intuicionista da educação matemática /
por: Fossa, John A., et al.
Publicado em: (2022) -
On Brouwer /
por: Atten, Markus Sebastiaan Paul Rogier van,, et al.
Publicado em: (2022)