The theory of functions in GST
Overview
Introduction
Ordered Pairs
Relations
Domain, Range and Field
Functions
Functional Abstraction
Application and Extensionality
Relational Composition