Exported entries (BibTeX)

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

@book{Friend2007-FRIIPO-3,
	publisher = {Acumen Publishing},
	author = {Mich\`ele Friend},
	title = {Introducing Philosophy of Mathematics},
	year = {2007}
}