A relevant analysis of natural deduction /
Ishtiaq, Samin.
Pym, David(David J.)
Queen Mary and Westfield College (University of London).Department of Computer Science.
London : Dept. of Computer Science, Queen Mary and Westfield College,
1998.
Cover title.