Heikkil¨a, S., Finland

• Nonlinear Studies Vol 23 No 4 (2016) - Articles
  On the construction of fully interpreted formal languages which posses their truth predicates
  Abstract