@book{4504,
	author = {Brown, Jeremy},
	title = {Introduction to logic for computer science /},
	publisher = {American Academic Publisher,},
	year = {c2024.},
	address = {USA:}
}