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
- Idioma: Português
- Imprenta:
- Editora: Centro de Lógica, Epistemologia e História da Ciéncia
- Local: Campinas Centro de Lógica, Epistemologia e História da Ciéncia
- Data de publicação: 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: 19 set. 2024. , 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 2024 set. 19 ] -
Vancouver
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2024 set. 19 ] - Special groups: boolean-theoretic methods in the theory of quadratic forms
- Lattice-ordered reduced special groups
- Non-commutative topology and quantales
- Elementary properties of the Boolean hull and reduced quotient functors
- Quadratic form theory over preordered von Neumann-regular rings
- Definitions: the primitive concept of logics or the Leśniewski–Tarski legacy
- Orders and relative Pythagorean closures
- Algebraic k-theory and rings with many units
- On rings of fractions of reduced f-rings by non zero-divisors
- Downward lowenheim-skolem theorem
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas