@book{51703,
	author = {Fejer, Peter A. and  Simovici, Dan A.},
	title = {Logical foundations of computer science : },
	publisher = {World Scientific Publishing,},
	year = {2025.},
	address = {Singapore : }
}