On the Logic of TLA (0)

by Stephan Merz
Venue:Computing and Informatics