The many worlds of logic - Herrick, Paul William (Harcourt Barce College Publishers, 2000)