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 “Skolem Arithmetics on Certain Concrete Word Systems.”
J. BARKLEY ROSSER: Logic for mathematicians
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
A New Version of Some Considerations of A. Thue.
Th. Skolem (1960)
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:
Two remarks on set theory
TH. SKOLEM (1957)
Mathematica Scandinavica
Similarity:
RAYMOND L. WILDER: Introduction to the foundations of mathematics
K.JAAKKO HINTIKKA (1954)
Mathematica Scandinavica
Similarity:
A Set Theory Based on a Certain 3-Valued Logic.
Th. Skolem (1960)
Mathematica Scandinavica
Similarity:
An application of a theorem of Hirsberg and Lazar.
Asvald Lima (1976)
Mathematica Scandinavica
Similarity:
On a Problem of Boone.
George S. Sacerdote (1972)
Mathematica Scandinavica
Similarity:
OYSTEIN ORE: Cardano. The gambling scholar
MOGENS PIHL (1953)
Mathematica Scandinavica
Similarity: