Search: The Curious Inference Of Boolos In MIZAR And OMEGA
2007
[1]The curious inference of Boolos in MIZAR and OMEGA (Christoph Benzmüller, Chad Brown), Chapter in From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec (Roman Matuszewski, Anna Zalewska, eds.), The University of Bialystok, Polen, Studies in Logic, Grammar, and Rhetoric, volume 10(23), pp. 299-388, 2007. (Url (preprint): http://christoph-benzmueller.de/papers/B6.pdf) [bibtex]
Powered by bibtexbrowser