1990 · 60 citations · 3 references
Natural SciencesComputer ScienceMathematicsCombinatoricsSequence AnalysisSet TheoryRecursion TheoryString Algorithms
Summary. This text is a continuation of [3]. We prove a number of theorems concerning both notions introduced there and one-to-one finite sequences. We introduce a function that removes from a string elements of the string that belongs to a given set.
3
Tarski Grothendieck Set Theory
Andrzej Trybulec · 1990 · 482 citations
The Fundamental Properties of Natural Numbers
Grzegorz Bancerek · 1990 · 389 citations