@book{1695018,
	title = {Principles and Proofs},
	publisher = {Princeton University Press},
	url = {https://www.degruyter.com/isbn/9781400887163}
}