## Petr Hájek

*Trakhtenbrot Theorem and Fuzzy Logic*

CSL, 1998.

@inproceedings{CSL-1998-Hajek, author = "Petr Hájek", booktitle = "{Proceedings of the 12th International Workshop on Computer Science Logic / Annual Conference of the EACSL}", doi = "10.1007/10703163_1", isbn = "3-540-65922-6", pages = "1--8", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Trakhtenbrot Theorem and Fuzzy Logic}", volume = 1584, year = 1998, }