@book{1617,
	author = {Nicholson, Neil R.},
	title = {A transition to proof : },
	publisher = {CRC Press:},
	year = {2019.},
	address = {Boca Raton;}
}