|
IBUKI has collected togethered and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.
Works by Thoralf Skolem
- 1920
- Logico-combinatorial investigations on the satisfiability or provability of mathematical propositions: A simplified proof of a theorem by Loewenheim
in |heijenoort1967from| pp. 252-263
- 1922
- Some remarks on axiomatized set theory
in |heijenoort1967from| pp. 290-301
- 1923
- The foundations of elementary arithmetic
in |heijenoort1967from| pp. 302-333
- 1928
- On mathematical logic
in |heijenoort1967from| pp. 508-524
- [Uu]ber einige Satzfunktionen in der Arithmetik
- 1930
- 1970
reprinted - Selected Works in Logic (ed J.Fenstead)
- Einige Remerkungen zu der Abandlung von E. Zermelo
"[Uu]ber die Definitheit in der Axiomatik
- 1930
Fundamenta mathematicae, vol 15 (1930) pp. 337-341.
|
![[SPECULUM MVNDI]](/gifs/mun/synlog1a.gif)