Combining Texts

Ideas for 'The Value of Science', 'Letters to Mersenne' and 'The Establishment of Scientific Semantics'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

13337

A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]