Valorações para alguns sistemas de logica do tempo

Description

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2013-12-05T19:29:55Z (GMT). No. of bitstreams: 0
Previous issue date: 1982Bitstream added on 2016-01-08T14:22:50Z : No. of bitstreams: 1
108685.pdf: 26771678 bytes, checksum: c67e040d5ec4b9b4d53ddf1616794881 (MD5)

Links & Downloads

1. https://repositorio.ufsc.br/handle/123456789/106171
2. 108685

Tags

Calculo de predicados

Lógica simbólica e matemática

Additional Fields

Identifer	oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/106171
Date	January 1982
Creators	Mortari, Cezar Augusto
Contributors	Universidade Estadual de Campinas, Pereira, Oswaldo Porchat
Source Sets	IBICT Brazilian ETDs
Language	Portuguese
Detected Language	Portuguese
Type	info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Source	reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC
Rights	info:eu-repo/semantics/openAccess