Searching for authors named "George Boolos" – sorted by Relevance.
-
Logic, Logics, and Logicism
- The paper starts with an examination and critique of Tarski's wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations ha
- Cited by 1 (0 self) – Add To MetaCart

