Login / Signup

Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility.

Denis Richard
Published in: J. Symb. Log. (1985)
Keyphrases
  • positive or negative
  • positive and negative
  • floating point
  • sentence level
  • first order logic
  • data mining
  • sentiment analysis