Chirita, Carmen

• Vol 35 (2008): Annals of the University of Craiova - Mathematics and Computer Science Series - Mathematics and Computer Science
  A completeness theorem for three-valued temporalpredicate logic
  Details  PDF