Вы здесь

Главная

неклассический

Связанные издания:

Algebraic and Proof-Theoretical Aspects of Non-classical Logics: Papers in Honor o Daniele Mundici on the Occasion of His 60th Birthday
Logics in Artificial Intelligence: Proc./12th European Conference, JELIA 2010, Helsinki, Finland, September 2010
Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday
Nonclassical Logics and Information Processing: Proc./Intern. Workshop. Berlin, Germany, November 1990
Semantical Equivalences of (Non-Classical) Logic Programs