Nuprl - ElisTarskiPf_B creation notes

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

Sun Mar 2 20:26:26 EST 2003