-
1
المؤلفون: Agata Ciabattoni, Revantha Ramanayake
المصدر: ACM Transactions on Computational Logic. 17:1-39
مصطلحات موضوعية: Discrete mathematics, Class (set theory), Natural deduction, General Computer Science, Logic, 010102 general mathematics, 0102 computer and information sciences, Time-scale calculus, 01 natural sciences, Differentiation rules, Theoretical Computer Science, Decidability, Algebra, Computational Mathematics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, 010201 computation theory & mathematics, Proof theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, 0101 mathematics, Axiom, Mathematics