@book{1711,
	author = {Ferrater Mora, Jose},
	title = {Logica matematica},
	publisher = {FCE},
	year = {1973}
}