Set theory, arithmetic, and foundations of mathematics : theorems, philosophies - Kennedy, Juliette, 1955-; Kossak, Roman, 1953- (Lecture notes in logic ;, 2011)