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: 23 abr. 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 abr. 23 ] -
Vancouver
Miraglia Neto F. Cálculo proposicional: uma interação entre a álgebra e a lógica. 1987 ;[citado 2024 abr. 23 ] - On quadratic forms whose total signature is zero mod 2(n): solution to a problem of M. Marshall
- Algebraic k-theory of special groups
- Constructions in the category of real semigroups
- An omitting types theorem for sheaves over topological spaces
- Faithfully quadratic rings - a summary of results
- On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions
- Representation of reduced special groups in algebras of continuous functions
- Special groups: boolean-theoretic methods in the theory of quadratic forms
- Lattice-ordered reduced special groups
- Non-commutative topology and quantales
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas