Title: Handbook of logic / Roland Houde and Jerome J. Fischer