@book{8249,
	author = {Robinson, Abraham},
	title = {Non-standard analysis},
	publisher = {North-Holland},
	year = {1980},
	series = {Studies in logic and the foundations of mathematics},
	address = {New York},
	edition = {rev.ed.}
}