?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Andr%C3%A1s&rft.aulast=%C3%81d%C3%A1m&rft.au=+%C3%81d%C3%A1m+Andr%C3%A1s&rft.atitle=An+application+of+truth+functions+in+formalized+diagnostics&rft.date=1976&rft.issn=0324-721X&rft.title=Acta+cybernetica&rft.issue=4&rft.volume=2&rft.pages=291-298&rft.genre=article