Teoria das funções recursivas e aplicações a logica

Description

Orientador: Andres Raggio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T02:47:32Z (GMT). No. of bitstreams: 1
Centenaro_IralinoFidencio_M.pdf: 1220197 bytes, checksum: eac1b52a24281e9708380f3d735c2f8b (MD5)
Previous issue date: 1977 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Links & Downloads

1. CENTENARO, Iralino Fidencio. Teoria das funções recursivas e aplicações a logica. 1977. 68 f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306053>. Acesso em: 19 jul. 2018.
2. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306053

Tags

Funções recursivas

Lógica simbólica e matemática

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/306053
Date	20 July 2018
Creators	Centenaro, Iralino Fidencio
Contributors	UNIVERSIDADE ESTADUAL DE CAMPINAS, Raggio, Andres Romulo, 1927-, Raggio, Andres
Publisher	[s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação, Programa de Pós-Graduação em Matemática
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format	68 f., application/pdf
Source	reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rights	info:eu-repo/semantics/openAccess