The operation of thought /
Tasker, Beverley.
Long Ashton : Loebertas,
1998.
Logic.
Proof theory.