PakCat catalogue record

Multiple-conclusion logic

By Shoesmith, D. J.

Bibliographic details

Additional authors

Smiley, T. J.