@book{6605,
	author = {KURT GODEL COLLOQUIUM (3rd : 1993 : BRNO,  CHEC.) and GOTTLOB, GEORG. and KURT GODEL SOCIETY. \ KGC'93.},
	title = {COMPUTATIONAL LOGIC AND PROOF THEORY : },
	publisher = {SPRINGER-VERLAG},
	year = {\\\\},
	series = {LECTURE NOTES IN COMPUTER SCIENCE},
	address = {BERLIN: },
	note = {INCLUYEBIBLIOGRAFIAS E INDICE.}
}