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


%% Created for Larry Paulson at 2022-06-15 17:04:45 +0100 


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



@article{boo87,
	author = {Boolos, G.},
	journal = {Journal of Philosophical Logic},
	pages = {1-12},
	title = {A Curious Inference},
	volume = {16},
	year = {1987}}

@book{mat72,
	address = {New York},
	author = {Mates, B.},
	publisher = {Oxford University Press},
	title = {Elementary Logic},
	year = {1972}}

@article{god36,
	author = {G\"{o}del, Kurt},
	date-modified = {2022-06-15 16:16:55 +0100},
	journal = {Ergebinisse Eines Mathematischen Kolloquiums},
	note = {Reprinted with English translation, Vol 1 of G\"{o}del's collected works.},
	pages = {23-24},
	title = {\"{U}ber die {L\"{a}nge} von {Beweisen}},
	volume = {7},
	year = {1936}}

@article{ack28,
	author = {Ackermann, W.},
	date-modified = {2022-06-15 16:16:09 +0100},
	journal = {Mathematische Annalen},
	pages = {118-133},
	title = {Zum {Hilbertschen} {Aufbau} der reellen {Zahlen}},
	volume = {99},
	year = {1928}}

@article{pet35,
	author = {P\'{e}ter, R\'{o}zsa},
	date-modified = {2022-06-15 16:16:28 +0100},
	journal = {Mathematische Annalen},
	pages = {42-60},
	title = {Konstruktion nichtrekursiver {Funktionen}},
	volume = {111},
	year = {1935}}

@misc{wen20,
	author = {Wenzel, M. and others},
	date-modified = {2022-06-15 17:04:45 +0100},
	journal = {.},
	note = {The manual is available online.\\ \url{https://isabelle.in.tum.de/dist/Isabelle/doc/isar-ref.pdf}},
	title = {The {Isabelle/Isar} Reference Manual},
	year = {2020}}

@incollection{ben07,
	address = {Bia\l{}ystok, Poland},
	author = {Benzm\"{u}ller, Christoph and Brown, C.},
	booktitle = {From Insight to Proof --- Festschrift in Honour of Andrzej Trybulec},
	date-modified = {2022-06-15 16:17:39 +0100},
	editor = {Roman Matuszewski and Anna Zalewska},
	note = {Online: \url{http://mizar.org/trybulec65/20.pdf}},
	pages = {299-388},
	publisher = {The University of Bia\l{}ystok},
	title = {The curious inference of {Boolos} in {MIZAR} and {OMEGA}},
	year = {2007}}
