@book{2443,
	author = {Carnap, R.},
	title = {The formalization of logic.},
	publisher = {Harvard University Press},
	year = {1947.},
	series = {Studies in Sematics, 2},
	address = {Cambridge}
}