Nuprl - ElisTarskiPf_A creation notes

Projection of Eli Barzilay's formalization of Tarski's unrepresentability of truth (sfa)

Sat Mar 1 18:28:10 EST 2003