Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal foundation
2
Semantics
2
Abstract framework
1
Abstract model theory
1
Abstract notions
1
Algebra
1
Calculations
1
Categorical structure
1
Category theory
1
Computer software
1
Formal logic
1
Formalisation
1
Logical system
1
Proof calculus
1
Proof system
1
Proof theory
1
Property preservation
1
Satisfiability
1
Schema operators
1
Semantic relationships
1
Structuring mechanisms
1
Syntactic transformations
1
Syntactics
1
Z specifications
1
-
1
-
2