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

Abstract Set Theory.by Thoralf A. Skolem

โœ Scribed by Review by: Perry Smith


Book ID
124972655
Publisher
Association for Symbolic Logic
Year
1971
Tongue
English
Weight
100 KB
Volume
36
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Abstract Set Theory
โœ Thoralf Skolem ๐Ÿ“‚ Library ๐Ÿ“… 1962 ๐Ÿ› University of Notre Dame Press ๐ŸŒ English โš– 9 MB
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