@book{53043,
	author = {36},
	title = {Mathematical logic}
}