Cálculo proposicional: uma interação entre a álgebra e a lógica (1987)
- Autor:
- Autor USP: MIRAGLIA NETO, FRANCISCO - IME
- Unidade: IME
- Assunto: CÁLCULO PROPOSICIONAL
- Language: Português
- Imprenta:
- Publisher: Centro de Lógica, Epistemologia e História da Ciéncia
- Publisher place: Campinas Centro de Lógica, Epistemologia e História da Ciéncia
- Date published: 1987
- Descrição física: 86 p
-
ABNT
MIRAGLIA NETO, Francisco. Cálculo proposicional: uma interação entre a álgebra e a lógica. . Campinas Centro de Lógica, Epistemologia e História da Ciéncia: Centro de Lógica, Epistemologia e História da Ciéncia. . Acesso em: 06 maio 2026. , 1987 -
APA
Miraglia Neto, F. (1987). Cálculo proposicional: uma interação entre a álgebra e a lógica. Campinas Centro de Lógica, Epistemologia e História da Ciéncia: Centro de Lógica, Epistemologia e História da Ciéncia. -
NLM
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2026 maio 06 ] -
Vancouver
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2026 maio 06 ] - Definitions: the primitive concept of logics or the Leśniewski–Tarski legacy
- On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions
- Teoria dos conjuntos: um minimo
- Geometric functors and quadratic forms over preordered von Neumann regular rings
- Modules in the category of sheaves over quantales
- An omitting types theorem for sheaves over topological spaces
- Faithfully quadratic rings - a summary of results
- Teorias categóricas
- Constructions in the category of real semigroups
- Faithfully quadratic rings
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
