Some Results Concerning a General Set Theoretical Approach to Logic.
Anton Jensen (1965)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “J. BARKLEY ROSSER: Logic for mathematicians”
Some Results Concerning a General Set Theoretical Approach to Logic.
A Set Theory Based on a Certain 3-Valued Logic.
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
The Decision Problem for Segregated Formulas in First-Order Logic.
M.R. Krom (1967)
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:
Skolem Arithmetics on Certain Concrete Word Systems.
H.A. Pogorzelski (1964)
Mathematica Scandinavica
Similarity:
An application of logic to algebra
K. JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
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:
On the sequence [n a], n = 1,2, .. . Supplementary note to the preceding paper by Th. Skolem
THOGER BANG (1957)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity: