@book{69550,
	author = {Henkin Leon},
	title = {Logical systems containing only a finite number os symbols},
	publisher = {University De Montreal       },
	year = {1967},
	address = {Montreal}
}