Now showing items 1-1 of 1
Second-order logic is logic
(University of St Andrews, 1997-06) - Thesis
"Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some ...