Contents
Front
Foundation
Preliminary Notions
Ordered Pairs
Functions
Conditionals
Typed Set Theory
Binary Relations on a Set
More about Functions
The Foundation Axiom
Omega and Peano
Transitive Sets
Ordinals
Javascript Interactive Higher-Order Theorem Prover
Simptcheck: Simple Proof Term Checker in OCaml
Contact Person
Chad E Brown
Previous
Next
Functions
Definition
Definition
Theorem
Application
Lambda Abstraction
Extensionality and Beta Reduction
