Uma introdução às lógicas clássica e modal e alguns métodos de dedução

Autor: Samuel Xavier Ribeiro

Defendida na UFABC em 24/08/15

Como citar essa dissertação

ABNT

RIBEIRO, Samuel Xavier. Uma introdução às lógicas clássica e modal e alguns métodos de dedução. Dissertação (Mestrado) — UFABC, 2015. Disponível em: https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=2636&id2=90951.

BibLaTeX

@mastersthesis{SAMUEL_XAVIER_RIBEIRO:UFABC:2015,
  author = {Samuel Xavier Ribeiro},
  title  = {Uma introdução às lógicas clássica e modal e alguns métodos de dedução},
  school = {Universidade Federal do ABC},
  year   = {2015},
  date   = {24/08/15},
  url    = {https://sca.profmat-sbm.org.br/profmat_tcc.php?id1=2636&id2=90951},
}