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


%% Created for Larry Paulson at 2013-10-01 00:11:47 +0100


%% Saved with string encoding Western (Windows Latin 1)

@article{swierczkowski-finite,
	Author = {S. {\'S}wierczkowski},
	Date-Added = {2013-06-24 09:12:03 +0000},
	Date-Modified = {2013-06-24 09:12:03 +0000},
	Doi = {10.4064/dm422-0-1},
	Journal = {Dis\-ser\-ta\-tiones Math\-e\-ma\-ti\-cae},
	Note = {\url{http://journals.impan.gov.pl/dm/Inf/422-0-1.html}},
	Pages = {1-58},
	Title = {Finite sets and {G{\"o}del's} incompleteness theorems},
	Url = {http://journals.impan.gov.pl/dm/Inf/422-0-1.html},
	Volume = {422},
	Year = {2003},
	Bdsk-Url-1 = {http://journals.impan.gov.pl/dm/Inf/422-0-1.html},
	Bdsk-Url-2 = {https://doi.org/10.4064/dm422-0-1}}

@article{kirby-addition,
	Author = {Kirby, Laurence},
	Date-Added = {2013-06-24 09:11:53 +0000},
	Date-Modified = {2013-06-24 09:11:53 +0000},
	Doi = {10.1002/malq.200610026},
	Issn = {1521-3870},
	Journal = {Mathematical Logic Quarterly},
	Keywords = {Ordinal arithmetic, adduction, finite set theory},
	Number = {1},
	Pages = {52-65},
	Publisher = {Wiley},
	Title = {Addition and multiplication of sets},
	Url = {https://doi.org/10.1002/malq.200610026},
	Volume = {53},
	Year = {2007},
	Bdsk-Url-1 = {https://doi.org/10.1002/malq.200610026}}
