-
1
المؤلفون: Valentin Goranko
المصدر: Axioms, Vol 8, Iss 4, p 118 (2019)
Axioms; Volume 8; Issue 4; Pages: 118مصطلحات موضوعية: Filosofi, Logic, Computer science, hybrid deduction–refutation rules, derivative hybrid rules, soundness, 0603 philosophy, ethics and religion, 01 natural sciences, Calculus, 0101 mathematics, deductive refutability, natural deduction, meta-proof theory, Mathematical Physics, Mathematical logic, Soundness, Matematik, refutation systems, completeness, Algebra and Number Theory, Natural deduction, lcsh:Mathematics, 010102 general mathematics, 06 humanities and the arts, Propositional calculus, lcsh:QA1-939, Differentiation rules, Philosophy, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Completeness (logic), Data_GENERAL, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 060302 philosophy, Geometry and Topology, Mathematics, Analysis
وصف الملف: application/pdf