Exported entries (BibTeX)

Export more entries in BibTeX to add them to this list.

@book{Leng2010-LENMAR,
	title = {Mathematics and Reality},
	author = {Mary Leng},
	year = {2010},
	publisher = {Oxford University Press}
}