and Computation in General Logic (1990)

by D Proofs Pym, Search