Sorry, but there are no more tags available to filter with.
Hi there, I believe OF is as good a place as any if I want to find logicians. Does anyone know how well known it is that theorems of 'Second Order Logic' may be expressed/interpreted as isomorphic interpretations of theorems expressed in First Order Logic. i.e. Is there good documentary evidence...
Page 1 of 1 (1 items)