Benzmüller, Christoph. <br/><br/>
The Curious Inference of Boolos in Mizar and OMEGA / 
Christoph E. Benzmüller and Chad E. Brown. 
<br/><br/> Tytuł. nagł. 
<br/><br/>Bibliogr. s. 313-314. 
<br/><br/><label>Subjects--Personal Names: </label><br/>Boolos, George (1940-1996) --krytyka i interpretacja.
<br/><br/><label>Subjects--Topical Terms: </label><br/>Matematyka--oprogramowanie.<br/>Matematyka--język.<br/>Wnioskowanie.<br/>Logika pierwszego rzędu.