Nando Prati

Suggest Changes
We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
T h e theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it h a s been proved in [9]. A similar result is shown in [8] using a system called K.(More)
  • 1