@book{141247,
	author = {Greg, Restall and Standefer, Shawn},
	title = {Logical methods /},
	publisher = {The MIT Press,},
	year = {2023},
	address = {Cambridge :},
	note = {Includes bibliographical references and index.}
}