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

Nonconcatenative Abstract Skolem Arithmeticsby H. A. Pogorzelski

โœ Scribed by Review by: H. Hermes


Book ID
124972000
Publisher
Association for Symbolic Logic
Year
1970
Tongue
English
Weight
214 KB
Volume
35
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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