@book{120859,
	author = {Carnap, Rudolf,},
	title = {Formalization of logic,},
	publisher = {Harvard university press},
	year = {1947},
	series = {His Studies in semantics, vol. II},
	address = {Cambridge, Massachusetts.,}
}