The theory of functions in GST
Overview
Introduction
Ordered Pairs
Relations
Domain, Range and Field
Functions
Functional Abstraction
Application and Extensionality
Proof Contexts
up HOME © RBJ V