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: 26 jan. 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 jan. 26 ] -
Vancouver
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2026 jan. 26 ] - 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
- Downward lowenheim-skolem theorem
- Lam's conjecture
- Ultraprodutos generalizados e feixes de estruturas sobre uma álgebra de Heyting completa
- Sheaves over right sided idempotent quantales
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
