@book{12573,
	author = {Porte, J.},
	title = {La logique matematique et le calcul mecanique.},
	publisher = {Universidad Nacional de Sur Instituto de matemática,},
	year = {1972.},
	series = {Notas de lógica matemática},
	address = {Bahía Blanca :}
}