Lógica de primeira ordem (2009)
- Authors:
- USP affiliated authors: LOPARIC, ANDREA MARIA ALTINO DE CAMPOS - FFLCH ; MAZAK, RENÉ PIERRE MAXIMILIAN EDUARD - FFLCH ; VICENTE, LUCIANO - FFLCH
- Unidade: FFLCH
- Subjects: LÓGICA MATEMÁTICA; LÓGICA DE PRIMEIRA ORDEM
- Language: Português
- Imprenta:
- Publisher: Editora UNESP
- Publisher place: São Paulo
- Date published: 2009
- ISBN: 9788571395206 (Editora UNESP)
-
ABNT
LOPARIC, Andréa M. A. de Campos. Lógica de primeira ordem. . São Paulo: Editora UNESP. . Acesso em: 05 fev. 2026. , 2009 -
APA
Loparic, A. M. A. de C. (2009). Lógica de primeira ordem. São Paulo: Editora UNESP. -
NLM
Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2026 fev. 05 ] -
Vancouver
Loparic AMA de C. Lógica de primeira ordem. 2009 ;[citado 2026 fev. 05 ] - Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
- Uma prova de incompletude da aritmética baseada no teorema das definições recursivas
- Definições parciais de verdade e sistemas de acumulação na aritmética formal
- Investigacoes lógicas: sexta investigação (elementos de uma elucidação fenomenológica do conhecimento)
- Investigações logicas: sexta investigação (elementos para uma elucidação fenomenologica do conhecimento )
- Valuation semantics for intuitionistic propositional calculus and some of its subcalculi
- Funções modais
- Investigacoes lógicas: sexta investigação (elementos de uma elucidação fenomenológica do conhecimento)
- A negação e seus casos
- Textos escolhidos
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
