Free Theorems Involving . . . (2009)

by Janis Voigtländer