OBJ0

OBJ0

Tardo. Based on unsorted equational logic.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)