In mathematics, System T can refer to:
A theory of arithmetic in all finite types used in Gödel's Dialectica interpretation
An axiom system of modal logic
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
