Sborník původních příspěvků věnovaný základnímu rozlišení moderní logiky a sémantiky, pravdě a důkazu.
