Probability quantifiers (0)

by H J Keisler
Venue:In Barwise and Feferman [3