@book{9406,
	author = {Chenique, Francois},
	title = {Elements de logique classique},
	publisher = {DUNOD},
	year = {1975},
	address = {París}
}