J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “The Decision Problem for Segregated Formulas in First-Order Logic.”
J. BARKLEY ROSSER: Logic for mathematicians
Some Results Concerning a General Set Theoretical Approach to Logic.
Anton Jensen (1965)
Mathematica Scandinavica
Similarity:
A Set Theory Based on a Certain 3-Valued Logic.
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
The Axiom of Comprehension in Infinite Valued Logic.
C.C. Chang (1963)
Mathematica Scandinavica
Similarity:
On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
Jens Erik Fenstad (1964)
Mathematica Scandinavica
Similarity:
On Equational Classes of Algebraic Versions of Logic I.
Donald Monk (1970)
Mathematica Scandinavica
Similarity:
An application of logic to algebra
K. JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
Skolem Arithmetics on Certain Concrete Word Systems.
H.A. Pogorzelski (1964)
Mathematica Scandinavica
Similarity:
On non-constructive theorems of analysis and the decision problem
R. L. GOODSTEIN (1955)
Mathematica Scandinavica
Similarity:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.
Th. Skolem (1958)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity: