@book{10763,
	author = {Carnap, Rudolf .},
	title = {Introduction to symbolic logic and its applications +ADs-},
	publisher = {Dover},
	year = {1958}
}