%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Larry Paulson at 2023-09-16 11:31:02 +0100 


%% Saved with string encoding Unicode (UTF-8) 



@article{lawrence-short,
	author = {Lawrence, Jim},
	date-added = {2023-09-16 11:29:35 +0100},
	date-modified = {2023-09-16 11:29:35 +0100},
	doi = {10.4153/CMB-1997-056-4},
	journal = {Canadian Mathematical Bulletin},
	number = {4},
	pages = {471-474},
	publisher = {Cambridge University Press},
	title = {A Short Proof of {Euler's} Relation for Convex Polytopes},
	volume = {40},
	year = {1997},
	bdsk-url-1 = {https://doi.org/10.4153/CMB-1997-056-4}}

@book{lakatos,
	author = {Imre Lakatos},
	date-added = {2023-09-16 11:25:11 +0100},
	date-modified = {2023-09-16 11:25:11 +0100},
	publisher = CUP,
	title = {Proofs and Refutations: The Logic of Mathematical Discovery},
	year = {1976}}
