@book{1430790,
	author = {Westerståhl, Dag},
	title = {Foundations of logic :},
	publisher = {Center for The Study of Language,},
	year = {2023.},
	address = {Stanford:}
}