Th. Skolem

发表

Grigori Mints Thoralf Skolem and the Epsilon Substitution Method for Predicate Logic *

Hao Wang, G. Mints, Th. Skolem, 1997 .

A Set Theory Based on a Certain 3-Valued Logic.

Th. Skolem, Th. Skolem, 1960 .

Selected works in logic

Jens Erik Fenstad, J. Fenstad, Th. Skolem, 1970 .

Peano's Axioms and Models of Arithmetic

Th. Skolem, Th. Skolem, 1955 .

Some Remarks on the Triple Systems of Steiner.

Th. Skolem, Th. Skolem, 1958 .

On certain distributions of integers in pairs with given differences

Th. Skolem, Th. Skolem, 1957 .

A Construction for Models of Consistent Systems.

Th. Skolem, Th. Skolem, I. L. Novak, 1951 .

Remarks on Proofs by Cyclotomic Formulas of Reciprocity Laws for Power Residues.

Th. Skolem, 1961 .

A New Version of Some Considerations of A. Thue.

Th. Skolem, Th. Skolem, 1960 .

The Diophantine equation 2 n+2 − 7 = x 2 and related problems

S. Chowla, D. Lewis, Th. Skolem, 1959 .

REDUCTION OF AXIOM SYSTEMS WITH AXIOM SCHEMES TO SYSTEMS WITH ONLY SIMPLE AXIOMS

Th. Skolem, 1958 .

Remarks on the Connection Between Intuitionistic Logic and a Certain Class of Lattices.

Th. Skolem, 1958 .

Two remarks on set theory

Th. Skolem, Th. Skolem, 1957 .

Some considerations concerning recursive functions

Th. Skolem, 1953 .

Proof of some theorems on recursively enumerable sets

Thoralf Skolem, Th. Skolem, 1962, Notre Dame J. Formal Log..

Investigations on a comprehension axiom without negation in the defining propositional functions

Thoralf Skolem, Th. Skolem, 1960, Notre Dame J. Formal Log..