TY  - GEN
AU  - Benzmüller,Christoph
AU  - Brown,Chad E.
TI  - The Curious Inference of Boolos in Mizar and OMEGA
KW  - Boolos, George
KW  - Matematyka
KW  - oprogramowanie
KW  - kaba
KW  - język
KW  - Wnioskowanie
KW  - Logika pierwszego rzędu
N1  - Tytuł. nagł; Bibliogr. s. 313-314
ER  -