 analysis |  Bolzano, Bernard: logic |  Frege, Gottlob |  Husserl, Edmund |  logical consequence |  logical truth |  model theory |  phenomenology |  propositions |  set theory |  set theory: early development 