and Computation in General Logic (1990)

by Search Proofs