Go backward to
B Proving Propositions
Go up to
Top
Go forward to
Index
C Logic Evaluator Definitions
C.1 Sets
C.2 Relations and Functions
C.3 Natural Numbers
C.4 Integer Numbers
C.5 Rational Numbers
C.6 Real Numbers
C.7 Complex Numbers
C.8 More on Functions
C.9 Real Functions
C.10 Equivalence Relations
C.11 Modular Arithmetic
C.12 Integers as Equivalence Classes
C.13 Rationals as Equivalence Classes
C.14 Order Relations
Author:
Wolfgang Schreiner
Last Modification: October 4, 1999