Handbook of Logic and Proof Techniques for Computer Science
Author: Steven G. Krantz List Price: $49.95 Our Price: Click to see the latest and low price ISBN: 081764220X Publisher: Birkhauser Boston (15 January, 2002) Edition: Paperback Sales Rank: 675,470