Sorry, we do not have enough data to show an influence graph for this author.
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)