Skip to content
Open Access
  • Home
  • Collections
    • High Impact Articles
    • Jawi Collection
    • Malay Medicine
    • Forensic
  • Search Options
    • UiTM Open Access
    • Search by UiTM Scopus
    • Advanced Search
    • Search by Category
  • Discovery Service
    • Sources
    • UiTM Journals
    • List UiTM Journal in IR
    • Statistic
  • About
    • Open Access
    • Creative Commons Licenses
    • COKI | Malaysia Open Access
    • User Guide
    • Contact Us
    • Search Tips
    • FAQs
Advanced
  • Search
  • Sobre o metodo dos tableaux em...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Sobre o metodo dos tableaux em logicas polivalentes finitarias

Sobre o metodo dos tableaux em logicas polivalentes finitarias

Orientador: Newton Carneiro Affonso da Costa === Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica === Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1 Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksu...

Full description

Bibliographic Details
Main Author: Carnielli, Walter Alexandre, 1952-
Other Authors: UNIVERSIDADE ESTADUAL DE CAMPINAS
Format: Others
Language:Portuguese
Published: [s.n.] 1982
Subjects:
Lógica matemática não-clássica
Online Access:CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209
  • Holdings
  • Description
  • Similar Items
  • Staff View

Internet

CARNIELLI, Walter Alexandre. Sobre o metodo dos tableaux em logicas polivalentes finitarias. 1982. 140f. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/306209>. Acesso em: 14 jul. 2018.
http://repositorio.unicamp.br/jspui/handle/REPOSIP/306209

Similar Items

  • A lógica da verdade pragmática em um sistema de tableaux /
    by: Silva, Helen Gomes da.
    Published: (2018)
  • O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes Cn
    by: Castro, Milton Augustinis de
    Published: (1998)
  • Valorações para alguns sistemas de logica do tempo
    by: Mortari, Cezar Augusto
    Published: (1982)
  • Para uma teoria de traduções entre logicas cumulativas
    by: Scheer, Mauro Cesar
    Published: (2002)
  • APONTAMENTOS EM FILOSOFIA DA LÓGICA
    by: Gilson Maicá de Oliveira
    Published: (2019-01-01)

© 2020 | Services hosted by the Perpustakaan Tun Abdul Razak, | Universiti Teknologi MARA | Disclaimer


Loading...