@book{51746,
	author = {24},
	title = {Applied Logic }
}