On TLA as a logic

Stephan Merz
NATO ASI DPD (1996), pp. 235-271

Abstract