@book{29900,
	author = {46},
	title = {LANGUAGE PROOF AND LOGIC}
}