@book{39303,
	author = {Wasilewska, Anita.},
	title = {Logics for computer science },
	publisher = {Springer,},
	year = {2018.},
	address = {Switzerland,}
}