@book{55452,
	author = {28},
	title = {Introduction to Symbolic Logic and its Applications}
}