CQD Revista Eletrônica Paulista de Matemática (Dec 2016)

Lógica da verdade pragmática apresentada num sistema dedutivo de tableaux

  • Helen Gomes da Silva,
  • Hércules de Araujo Feitosa

DOI
https://doi.org/10.21167/cqdvol7ermac201623169664hgshaf2343
Journal volume & issue
Vol. 7
pp. 23 – 43

Abstract

Read online

No abstracts available.