Tong Wang

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Sorry, we do not have enough data to show an influence graph for this author.
Learn More
Second order logic was originally considered as an innocuous variant of first order logic in the works of Hilbert. Later study reveals that the analogy with first order logic does not do full justice to second order logic. Quine famously referred to second order logic as " set theory in disguise ". Second order logic truly transcends first order logic in(More)
  • 1