@book{15726,
	author = {Curry, Haskell B.},
	title = {Outlines of a formalist philosophy of mathematics},
	publisher = {North-Holland },
	year = {1958},
	series = {Studies in logic and the foundations of mathematics},
	address = {Amsterdam}
}