Combining Texts

You have chosen 'The iterative conception of Set' by George Boolos, 'The Foundations of Mathematics' by David Hilbert and 'Intuitionism and Formalism' by Luitzen E.J. Brouwer

start again     |    choose another area for these texts     |    all the ideas for this combination of texts
All the ideas for Theory of Logic, or select a subheading:
      A. Overview of Logic
      B. Logical Consequence
      C. Ontology of Logic
      D. Assumptions for Logic
      E. Structures of Logic
      F. Referring in Logic
      G. Quantification
      H. Proof Systems
      I. Semantics of Logic
      J. Model Theory in Logic
      K. Features of Logics
      L. Paradox