Moshé Machover1936BooksLectures on non-standard analysisSet theory, logic, and their limitationsAuthor data: Open Library