Logic, Mathematics, and Computer Sciencede Yves NievergeltMateriasLogic, symbolic and mathematicalSet theoryNumber theoryComputer science, mathematicsMathematicsSymbolic and mathematical LogicMathematical Logic and FoundationsMathematical Logic and Formal LanguagesNumber TheoryMathematical Theory