The top documents tagged [operational inference figures]
Gentzen Investigations
57 views