Victor Makarov

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Predicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation(More)
  • 1