Logic and Set Theory
Subtitle: With an Introduction to Computer Programming
ISBN-13: 9780916060053