1
by Kumar, Ratnesh, Garg, Vijay K.
Published 1995
Springer US
... appeared previously only in journals. The book is also designed for a graduate level course on logical...