Logical calculus’, Unpublished typescript (0)

by P Bernays