Im Symbolic Logic
ISBN-13: 9780534537340