Theory
of Logical Varieties *
Theory
of Abstract Properties in Program Specification
Non-monotonic
Inference
Theory
of Concept
Flow-charts
as a Programming Tool
Logical Methods in Computer Science
Theory
of Logical Varieties *
Theory
of Abstract Properties in Program Specification
Non-monotonic
Inference
Theory
of Concept
Flow-charts
as a Programming Tool