previous up next
Go backward to
Go up to Top
Go forward to Basic Idea
RISC-Linz logo

Logic and Set Theory

The combination of first-order predicate logic and set theory is the working horse of mathematics.


Author: Wolfgang Schreiner
Last Modification: October 14, 1999

previous up next