previous up next
Go backward to B Proving Propositions
Go up to Top
Go forward to Index
RISC-Linz logo

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

    previous up next