HÁJEK, Petr. A True Unprovable Formula of Fuzzy Predicate Logic. In: LENSKI, W., ed. Logic versus Approximation. Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday. Berlin: Springer, 2004, s. 1-5. Lecture Notes in Computer Science, 3075. ISBN 3-540-22562-5. Available: https://doi.org/10.1007/978-3-540-25967-1_1