@book{60194,
	author = {Richards, Dana and Hamburger, Henry},
	title = {Logic And Language Models for Computer Science },
	publisher = {World Scientific},
	year = {2023},
	address = {Singapore }
}