Title: TTL Data Book Vol. 4
Subjects: Logic, symbolic and mathematical