J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “On Equational Classes of Algebraic Versions of Logic I.”
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 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:
Skolem Arithmetics on Certain Concrete Word Systems.
H.A. Pogorzelski (1964)
Mathematica Scandinavica
Similarity:
On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
Jens Erik Fenstad (1964)
Mathematica Scandinavica
Similarity:
Homogeneous Universal Relational Systems.
B. Jonsson (1960)
Mathematica Scandinavica
Similarity:
An application of logic to algebra
K. JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
Algebraic tubular neighbourhoods I.
David A. Cox (1978)
Mathematica Scandinavica
Similarity:
Finite alogorithmic procedures and inductive definability.
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
Some Remarks on an Algebraic Identity.
Harald Bergström (1960)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity: