Collected papers, vols (1986)

by A Tarski