Calculo proposicional: uma interacao entre a algebra e a logica (1987)
- Autor:
- Autor USP: MIRAGLIA NETTO, FRANCISCO - IME
- Unidade: IME
- Assunto: CÁLCULO PROPOSICIONAL
- Language: Português
- Imprenta:
- Publisher: Cehfc/Unicamp
- Publisher place: Campinas
- Date published: 1987
- Descrição física: 86p
-
ABNT
MIRAGLIA NETO, Francisco. Calculo proposicional: uma interacao entre a algebra e a logica. [S.l: s.n.], 1987. -
APA
Miraglia Neto, F. (1987). Calculo proposicional: uma interacao entre a algebra e a logica. Campinas: Cehfc/Unicamp. -
NLM
Miraglia Neto F. Calculo proposicional: uma interacao entre a algebra e a logica. 1987 ; -
Vancouver
Miraglia Neto F. Calculo proposicional: uma interacao entre a algebra e a logica. 1987 ; - The downward Lowenheim-Skolem theorem for L-structures in'OMEGA MAIUSCULO'-sets
- Algebraic k-theory of fields and special groups
- Marshalls conjecture for Pythagorean fields
- Faithfully quadratic rings
- Downward lowenheim-skolem theorem
- Sheaves over right sided idempotent quantales
- On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions
- Topicos de teoria axiomatica dos conjuntos
- Representation of reduced special groups in algebras of continuous functions
- Constructions in the category of real semigroups
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
