๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Decidable Class of Number Theoretic Equations

โœ Scribed by Rousseau, G.


Book ID
120098611
Publisher
Oxford University Press
Year
1966
Tongue
English
Weight
113 KB
Volume
s1-41
Category
Article
ISSN
0024-6107

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Decidable classes of number-theoretic se
โœ I. J. Heath ๐Ÿ“‚ Article ๐Ÿ“… 1969 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 507 KB

DECIDABLE CLASSES OF NUMBER-THEORETIC SENTENCES by I. J. HEATH in Leicester (England) A. Method of Construction 1. Limited Constituents Terminology. Let h ' denote the class of natural numbers 0, 1 , 2 , . . . We say that P ( x l , . . . , x,) is a predicate if P : N" -+ ( 0 , l}, and that f(xl, . .