

Practical Aspects of Declarative Languages
791,-

Formal Methods Teaching
649,-

Logic and Its Applications
674,-

Dynamic Logic. New Trends and Applications
611,-

Logic, Language, Information, and Computation
584,-

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
854,-

Dynamics in Logic and Language
611,-

Logic and Its Applications
674,-

Automated Reasoning with Analytic Tableaux and Related Methods
476,-

Dynamics in Logic and Language
611,-

Practical Aspects of Declarative Languages
791,-

Formal Methods Teaching
649,-

Logic and Its Applications
674,-

Dynamic Logic. New Trends and Applications
611,-

Logic, Language, Information, and Computation
584,-

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
854,-

Dynamics in Logic and Language
611,-

Logic and Its Applications
674,-

Automated Reasoning with Analytic Tableaux and Related Methods
476,-

Dynamics in Logic and Language
611,-














