tarski: Semantic shift, heuristic shift in metamathematics (2001)

by Hourya Sinaceur, Alfred
Venue:Synthese