𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Monoids with decidable and undecidable classes of polygons

✍ Scribed by A. A. Stepanova


Book ID
110612562
Publisher
SP MAIK Nauka/Interperiodica
Year
1998
Tongue
English
Weight
471 KB
Volume
39
Category
Article
ISSN
0037-4466

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, . .