Logic databook: Vol 1
Keywords: Logic -- MIS