J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: