Производитель: Высшая школа (Букинистика). В книге разъясняется содержание метатеоретического и философского анализа, рассматриваются различные виды языков и теорий, анализируются проблемы систематизации, алгоритмизации, формализации, аксиоматизации, экспликации теорий, проблемы формальной и содержательной непротиворечивости, интерпретируемости, истинности, полноты, независимости и раскрывается философский смысл и значение этих проблем.