- В журнале публикуются статьи по всем вопросам теоретической и прикладной логики, включая статьи по теоретическим логическим системам, теории доказательства, теории моделей, теории реккурентности, теории типов, неклассической логике, основам логического программирования, логике и вычислительной технике, логике и языку, логике и прикладным наукам.
|