Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Autor: Sanz, Wagner de Campos

Publikováno v: Repositório Institucional da UnicampUniversidade Estadual de CampinasUNICAMP.

Orientador: Marcelo Esteban Coniglio
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-07T00:21:55Z (GMT). No. of bitstreams: 1 Sanz_WagnerdeCampos_D.pdf: 257

Externí odkaz: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280089

Razão, computação e sistemas formais

Autor: Sanz, Wagner de Campos

Publikováno v: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP

Orientador : Carlos Alberto Lungarzo Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas Resumo: Não informado Abstract: Not informed. Mestrado Mestre em Filosofia

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::97a7b9446ccd24788f36d8ea3815936f
https://doi.org/10.47749/t/unicamp.1991.29696

Euclidean Machines: General Theory of Problems

Autor: Sanz, Wagner De Campos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54d7d4d85f028f6bab3ee03fa6105360

Relating Intuitionist Negation and Triviality.

Autor: Sanz, Wagner de Campos¹ sanz@fchf.ufg.br

Publikováno v: Logic Journal of the IGPL. Nov2004, Vol. 12 Issue 6, p581-599. 19p.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.