亚当·科拉尼 Rado选择引理和其他组合语句得到一致证明。 (英语) Zbl 1117.03344号 牛。第节。日志。,大学后勤部。 34,第3期,143-149(2005).MSC公司:03E25型 2005年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。34,第3号,143--149(2005;Zbl 1117.03344)
亚当·科拉尼 超图可满足性的表示定理。 (英语) Zbl 0874.03011号 牛。第节。日志。,大学后勤部。 26,第1期,第12-19页(1997年).MSC公司:03B25号 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Kolany},公牛。第节。日志。,大学后勤部。26,编号1,12-19(1997年;Zbl 0874.03011)
亚当·科拉尼 超图的逻辑方面。 (英语) Zbl 0786.03022号 牛。第节。日志。,大学后勤部。 22,第1期,第18-23页(1993年). 审核人:A.ádám(布达佩斯) MSC公司:03B99号 05C65号 03B20型 PDF格式BibTeX公司 XML格式引用 \发短信给公牛队。第节。日志。,大学后勤部。22,第1号,18--23(1993;Zbl 0786.03022)