Author

J. Harrison

Catalogue records by J. Harrison in the PakCat Union Catalogue.

2 catalogue records

Catalogue records

Accounting a direct Approach J. Harrison 1985 Handbook of practical logic and automated reasoning Harrison, J. 2009