Tx (T superscript small x) (Soboci&324;ski)

Notes

Based on (Sobociński)

Tx = T0 + MLp [Feys, 1965, p122, p184-184]

Basis for


Go to ...


© Copyright 2006 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/t-x.html
This page was last modified on October 2nd, 2006.