Search Results

Showing 1 - 2 results of 2 for search 'Peano arithmetic', query time: 0.10s Refine Results
  1. 1
    by Du Système F
    Published
    “... for all the fonctions whose termination can be proved in the Peano’s second order arithmetics.- It allows...”
    Get access
    Get access
    Text
  2. 2
    by Samir Farkh, Karim Nour
    Published 1998
    “... for all the fonctions whose termination can be proved in the Peano’s second order arithmetics.- It allows...”
    Get access
    Get access
    Text
Search Tools: Get RSS Feed