@book{22860,
	author = {Marek, Wiktor (Ed.)},
	title = {Studies in logic and the foundations of mathematics},
	publisher = {North-Holland Publishing Company, },
	year = {1979},
	address = {Amsterdam: },
	note = {Vol. 1 Foundational studies selected papers}
}