Logic for Computer Science. Harper and Row (1986)

by Jean H Gallier
Venue:Logic And Computer Science