J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
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: