Title: Dictionary of symbols of mathematical logic
First published: 1969