@book{21437,
	author = {Lokasiewicz Jan},
	title = {Elements of mathematical logic vol 31},
	year = {1963}
}