Some Results Concerning a General Set Theoretical Approach to Logic.
Anton Jensen (1965)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: