Nonconcatenative Abstract Skolem Arithme
โ
H. A. Pogorzelski
๐
Article
๐
1965
๐
John Wiley and Sons
๐
English
โ 246 KB
Skolem arithmetic is an arithmetic constructible on an abstract word system in a finite or denumerably infinite abstract alphabet by means of propositional calculus, definition by composition and recursion in the word system, and proof by induction in the word system, without the use of unbounded qu