@book{58136,
	author = {Richards, Dana and Hamburger, Henry},
	title = {Logic and Language Models for Computer Science},
	publisher = { World Scientific },
	year = {2022},
	address = {New Jersey}
}