Sí­ntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural

&
Princípios 8 (10):25-61 (2001)
  Copy   BIBTEX

Abstract

Indisponível

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Não há bom ensino com maus programas.Aires Almeida - 2011 - Critica.
Indução e dedução na física (1919).Albert Einstein - 2005 - Scientiae Studia 3 (4):663-664.
Indução e Dedução em John Dewey.Filinto G. Marques - 1971 - Revista Portuguesa de Filosofia 27 (2):166 - 186.
Os novos programas de filosofia e os exames nacionais do 11.º ano.António Paulo Costa - 2003 - Critica.
Marxismo e Freudismo: dessemelhanças e semelhanças epistemológicas.Arthur Meucci & Felipe Tavares Paes Lopes - 2005 - Princípios 12 (17):91-114.
Dieter Henrich, leitor de Kant: sobre o fato legitimador na dedução transcendental das categorias.Christian Klotz & Soraya Nour - 2007 - Kriterion: Journal of Philosophy 48 (115):145-165.
Apercepção subjetiva E conhecimento objetivo: Uma leitura sobre O Lugar do §18 na estratégia da dedução B da crítica da razão pura.Pedro Costa Rego - 2011 - Manuscrito 34 (2):523-555.
Considerações Sobre a Ideia de Natureza do Conhecimento Científico na Tradição Filosófica Ocidental.Cassiano Terra Rodrigues - 2006 - Cognitio-Estudos.
A filosofia nos liceus portugueses: (período monárquico-constitucional).José Carlos Casulo - 1993 - Revista Portuguesa de Filosofia 49 (1/2):219 - 242.
A note on natural numbers objects in monoidal categories.C. Barry Jay - 1989 - Studia Logica 48 (3):389 - 393.
Natural law: historical, systematic and juridical approaches.José María Torralba, Mario Šilar, García Martínez & Alejandro Néstor (eds.) - 2008 - Newscastle upon Tyne, UK: Cambridge Scholars Press.
Natural Deduction for Dual-intuitionistic Logic.Luca Tranchini - 2012 - Studia Logica 100 (3):631-648.
Monoidal categories with natural numbers object.Robert Paré & Leopoldo Román - 1989 - Studia Logica 48 (3):361 - 376.
Linear lambda-terms and natural deduction.G. Mints - 1998 - Studia Logica 60 (1):209-231.

Analytics

Added to PP
2013-04-12

Downloads
4 (#1,604,214)

6 months
2 (#1,229,212)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edward Haeusler
Pontifícia Universidade Católica do Rio de Janeiro

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references