Formalização do raciocínio lógico baseada na lógica matemática

Autor: Rodrigo Marques Vaz

Defendida na UFMS em 24/10/14

Como citar essa dissertação

ABNT

VAZ, Rodrigo Marques. Formalização do raciocínio lógico baseada na lógica matemática. Dissertação (Mestrado) — UFMS, 2014. Disponível em: https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=2988&id2=1349.

BibLaTeX

@mastersthesis{RODRIGO_MARQUES_VAZ:UFMS:2014,
  author = {Rodrigo Marques Vaz},
  title  = {Formalização do raciocínio lógico baseada na lógica matemática},
  school = {Universidade Federal de Mato Grosso do Sul},
  year   = {2014},
  date   = {24/10/14},
  url    = {https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=2988&id2=1349},
}