The incompleteness phenomenon: a new course in mathematical logic by Goldstern, Martin, Judah, Haim 0 Type: Book
Mathematics by experiment: plausible reasoning in the 21st century by Borwein, Jonathan M. 0 Type: Book