@book{8467,
	author = {Moreira, Olga,},
	title = {Use of abstraction and logic in mathematics / },
	publisher = {Arcler Press, },
	year = {2023},
	address = {Burlington, ON : },
	note = {Includes index. }
}