The Logical Calculus

By F. Waismann. 1997