Definições parciais de verdade e sistemas de acumulação na aritmética formal (2013)
Unidade: FFLCHSubjects: TEOREMA DE GODEL’S, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VICENTE, Luciano. Definições parciais de verdade e sistemas de acumulação na aritmética formal. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/. Acesso em: 08 fev. 2026.APA
Vicente, L. (2013). Definições parciais de verdade e sistemas de acumulação na aritmética formal (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/NLM
Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2026 fev. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/Vancouver
Vicente L. Definições parciais de verdade e sistemas de acumulação na aritmética formal [Internet]. 2013 ;[citado 2026 fev. 08 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-18042013-120246/
