@book{2448,
	author = {Carnap, Rudolf},
	title = {Introduction to semantics and formalization of logic},
	publisher = {Harvard University Press},
	year = {1959.},
	address = {Cambridge}
}