Skolem (28 Ergebnisse)
Weitere BilderVerlag: University of Notre Dame Press, 1962
- Softcover
- Erstausgabe
Anbieter: Southampton Books, Sag Harbor, NY, USASouthampton Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 22,51
EUR 4,36 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. First Edition. First Edition, First Printing. Published by University of Notre Dame Press, 1962. Octavo. Paperback. Book is very good with shelf/edgewear. 100% positive feedback. 30 day money back guarantee. NEXT DAY SHIPPING! Excellent customer service. Please email with any questions. All books p…acked carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.
Verlag: Chelsea Publishing Company, 1950
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USAZubal-Books, Since 1961
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 17,76
EUR 3,93 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Fine. 132 pp., Hardcover, spine rubbed, else fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Sprache: Norwegisch
Verlag: Fredhois Forlag A/S, 1966
- Softcover
Anbieter: Big Star Books, Santa Fe, NM, USABig Star Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 23,41
EUR 5,24 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. Clean, unmarked, tightly bound. Moderate exterior wear. Photos available. We ship daily. Expedited shipping available! (Heavy books & sets may require extra shipping charges.).
Sprache: Deutsch
Verlag: Verlag Julius Springer, 1938
- Softcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 26,95
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Broschiert. Zustand: Gut. 130 Seiten; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Einbandkanten sind bestoßen. Altersbedingte Anbräunung des Papiers. Sprache: Deutsch Gewicht in Gramm: 210.
Verlag: New York - 1950, 1950
- Hardcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 27,00
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Chelsea publishing company, New York - 1950, Ergebnisse der Mathematik und ihrer Grenzgebiete herausgegeben von der Schriftleitung des "Zentralblatt für Mathematik", fünfter Band, 4, 13,50x21 cm, relié, 132 pages Bon état, mais exemplaire de bibliothèque sans jaquette - Pour les envois hors de France, la tafication «livre & broc…hure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
Verlag: North Holland Publishing Company, 1955
- Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 29,32
EUR 15,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Dust jacket in fair condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,300grams, ISBN.
Verlag: Chelsea Publishing Company, 1950
- Hardcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 30,37
EUR 15,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN.
Verlag: North Holland Publishing Company, 1955
- Softcover
Anbieter: Anybook.com, Lincoln, Vereinigtes KönigreichAnybook.com
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 32,13
EUR 15,87 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,250grams, ISBN.
Verlag: North-Holland Publishing Co., 1955
- Softcover
Anbieter: Books From California, Simi Valley, CA, USABooks From California
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 47,16
EUR 4,36 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
paperback. Zustand: Good.
Sprache: Französisch
Verlag: Editions du Centre National de la Recherche Scientifique, 1958
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 39,95
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
gebundene Ausgabe. Zustand: Gut. 140 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In FRANZÖSISCHER Sprache. Sprache: Französisch Gewich…t in Gramm: 360.
Mathematische zeitschrift, Schur gedächtnis band : über Normen von Matrizen / über die Abhängigkeit von Potenzsummen und einen Satz von Polya / On the continuity of functions of several variables / Norlund-Verfahren für Funktionen / Groupes de Lie et hyperalgèbres de Lie sur un corps de caractéristique p>O. III. / Groups with finite classes of conjugate subgroups / On finite systems of linear equatiuons with an infinity of unknowns / Konvexitätseigenschaften von Mittelwerten harmonischer und verwandter Funktionen / über Reduzibilität bei gewissen Polynomen und das Tarry-Escottsche Problem / Zur Darstellung endlicher Abelscher Gruppen durch Kollineationen / Die Harnacksche Ungleichung für positive harmonische Funktionen / On algebraic eqations with integral cofficients whose roots belong to a given point set / Bounds for Analytic Functions in Domains with a Distinguished Boundary Surface / Mapping degree in Banach spaces and spectral theory / Betrachtungen über das Vollständigkeitsaxiom
Collectif : OSTROWSKI A., PERRON O., ROSENTHAL A., KNOPP K., DIEUDONNE J., NEMANN B. H., ROGOSINSKI W. W., DINGHAS A., SCHULZ W., FRUCHT R., HOPF E., FEKETE M. & SZEGÖ G., BERGMAN S., ROTHE E. H., BERNAYS P., BOCHNER S., JACOBSTHAL E., OTT-HEINRICH KELLER, TAUSSKY O., HIRSCH K. A., SKOLEM Th., HAHN W., GRUNSKY H., SPECHT W., POLYA G., LOEWNER C., MOTZKIN T. S., BEHREND F. A., SIEGEL C. L., FREUDENTHAL H., BRAUER R., RADEMACHER H., STÖHR A., WIELANDT H., RADO R., FENCHEL W., KOCHENDÖRFFER R., GEIRINGER H., MORDELL L. J., BRAUER A.
Verlag: Mathematische zeitschrift - 1955, 1955
- Hardcover
Anbieter: Sylvain Paré, Montolieu, FrankreichSylvain Paré
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 45,00
EUR 15,20 VersandVersand von Frankreich nach USAAnzahl: 1 verfügbar
Mathematische zeitschrift - 1955 - 1956, in-8, relié, 541 pages Très bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.
Verlag: North-Holland, 1955, 1955
- Softcover
Anbieter: Antiquariaat Berger & De Vries, Groningen, NiederlandeAntiquariaat Berger & De Vries
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 50,00
EUR 20,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Softcover. 113 p. -good.-(Cover worn and sunned, name in ink on the fly-leaf, three underlinings in pencil, but otherwise in good condition. ).
Sprache: Deutsch
Verlag: Berlin, J Springer, 1938
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 11 SKO Sprache: Deutsch Gewicht in Gramm: 550.
Sprache: Deutsch
Verlag: Berlin, J Springer, 1938
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 11 SKO Sprache: Deutsch Gewicht in Gramm: 550.
Sprache: Deutsch
Verlag: Berlin, J Springer, 1938
- Hardcover
Anbieter: Antiquariat Bookfarm, Löbnitz, DeutschlandAntiquariat Bookfarm
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 11 SKO Sprache: Deutsch Gewicht in Gramm: 550.
Verlag: New York, Chelsea Publishing Comp. (= Ergebnisse der Mathematik und ihrer Grenzgebiete, 5. Band, Nr. 4) 1950, 1950
- Hardcover
Anbieter: Antiquariat Orban & Streu GbR, Frankfurt am Main, DeutschlandAntiquariat Orban & Streu GbR
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 48,00
EUR 38,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Nach- oder Neudruck der Ausgabe J. Springer, Berlin, 1938, 8°, 130 S., dunkelroter original Leineneinband mit goldener Rückenbeschriftung. sehr schönes, sauberes Exemplar ohne nennenswerte Mängel Aufgrund des Zustandes vermuten wir, das es sich hier um einen Neudruck handeln muss, da dieser Band ansonsten unter Licht- und Luftab…schluß im Hochvakuum aufbewahrt worden sein muss. Einen Hinweis dazu enthält das Buch aber nicht. Abholung im Ladengeschäft in Frankfurt am Main (Nordend ggü. Musterschule) möglich. Das spart die Portokosten. Pickup at the store in Frankfurt am Main (Nordend, close to Musterschule) is possible. It saves the shipping costs.
Verlag: University of Notre Dame Press
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 145,95
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Verlag: Kristiana Dybwald, 1919
- Softcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 100,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 37 S. Gr 8° Br. Sprache: Deutsch.
Verlag: Kristiana Dybwad, 1931
- Softcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 150,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 28 S. Gr 8° Br. Sprache: Deutsch.
Verlag: Oslo: Dybwad, 1935
- Softcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 150,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 14 S. Gr 8° Br. Sprache: Deutsch.
Verlag: Kristiana Dybwad, 1923
- Softcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 150,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 38 S. Gr 8° Br. Sprache: Deutsch.
Verlag: Oslo: Dybwad, 1929
- Softcover
Anbieter: Antiquariat Bergische Bücherstube Mewes, Overath, DeutschlandAntiquariat Bergische Bücherstube Mewes
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 200,00
EUR 54,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
weicher Einband. 49 S. Gr 8° Br. Sprache: Deutsch.
- Softcover
- Erstausgabe
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 48,21
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
Kristiania, 1921. Royal8vo. Unopened, uncut in the original printed wrappers. Very fine and clean. 57 pp. First edition.
- Softcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 55,10
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
Kristiania, Jacob Dybwad, 1922. Royal8vo. Uncut, unopened in the original printed wrappers. Fine and clean. 7 pp. First appearance of Skolem's paper on the posthumous published works by L. Sylow.
- Softcover
Anbieter: Herman H. J. Lynge & Søn ILAB-ABF, Copenhagen, DänemarkHerman H. J. Lynge & Søn ILAB-ABF
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 82,65
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
Oslo, jacob Dybwad, 1940. Royal8vo. Uncut, unopened in the original printed wrappers. Very fine and clean. 18 pp. First appearance of Skolem's paper on the generalizations of the Betti-Guidiceschen equations.
Weitere BilderVerlag: Amsterdam: North-Holland Publishing Company, 1955, 1955
- Erstausgabe
Anbieter: Peter Harrington. ABA/ ILAB., London, Vereinigtes KönigreichPeter Harrington. ABA/ ILAB.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 240,45
EUR 25,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
First edition, first printing, collecting the lectures delivered at the symposium on "mathematical interpretation of formal systems", at Amsterdam in September 1954. The contributors are Th. Skolem, G. Hasenjaeger, G. Kreisel, A. Robinson, Hao Wang, L. Henkin, and J. Los. Octavo. Original yellow wrappers, lettered in black and b…lue. With dust jacket. Tiny nick at head of front joint, minor peripheral bumping, a near-fine copy in very good jacket, spine panel darkened with chip at head, light soiling.
Weitere Bilder- Softcover
Anbieter: Jeremy Norman's historyofscience, Novato, CA, USAJeremy Norman's historyofscience
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 2.476,16
EUR 8,74 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
1. Einige Bemerkungen zu der Abhandlung von E. Zermelo: "Über die Definitheit in der Axiomatik." Offprint from Fundamenta mathematicae 15 (1930). 337-341pp. Original printed wrappers. 2. Über die symmetrisch allgemein Lösungen im Klassenkalkul. Offprint from Fundamenta mathematicae 18 (1931). 61-76pp. Original printed wrappers.…3. Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem. Offprint from Fundamenta mathematicae 20 (1933). 254-261pp. Original printed wrappers. 4. Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen. Offprint from Fundamenta mathematicae 23 (1934). 150-161pp. Original printed wrappers. 5. Einige Sätze über p-adisch Potenzreihen mit Anwendung auf gewisse exponentielle Gleichungen. Offprint from Mathematische Annalen 111 (1935). 399-424pp. Original printed wrappers. 6. Über gewisse "Verbände" oder "Lattices." Offprint from Det norske Videnskaps-Akademie i Oslo, Matematisk-naturvidenskapelig klasse (1936). 16pp. Original printed wrappers. 7. Einige Reduktionen des Entscheidungsproblems. Offprint from Det norske videnskaps-akademie i Oslo, matematisk-naturvidenskapelig klasse (1936). 17pp. Original printed wrappers. 8. Ein Satz über ganzwertige Polynome. Offprint from Det kongelige norske videnskabers selskab 9 (1936). 111-113pp. Original printed wrappers. 9. Über die Lösbarkeit gewisser linearer Gleichungen im Bereiche der ganzwertigen Polynome. Offprint from Det kongelige norske videnskabers selskab 9 (1936). 134-137pp. Original printed wrappers. 10. Sätze über ganzwertige Polynome. Offprint from Det kongelige norske videnskabers selskab 10 (1937). 12-15pp. Original printed wrappers. 11. Zwei Sätze über kubische Kongruenzen. Offprint from Det kongelige norske videnskabers selskab 10 (1937). 89-92pp. Original printed wrappers. 12. Über eine Eigenschaft der Menge aller grössten gemeinsamen Teiler von Polynomen für ganze Werte der Variablen. Offprint from Det kongelige norske videnskabers selskab 11 (1938). 64-67pp. Original printed wrappers. 13. Über die Lösbarkeit der Gleichung f1 (x) F1 (x) + . . . . + fn (x) Fn (x) = 1, wo f1, . . . , fn gegebene ganzzahlige Polynome sind, in ganzzahligen Polynomen F1, . . . , Fn. Offprint from Det kongelige norske videnskabers selskab 12 (1939). 4pp. Original printed wrappers. 14. Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie. Offprint from Monatsheften für Mathematik und Physik 48 (1939). 268-276pp. Original printed wrappers. 15. Einfacher Beweis der Unmöglichkeit eines allgemeinen Lösungsverfahrens für arithmetische Probleme. Offprint from Det kongelige norske videnskabers selskab 13 (1940).4pp. Original printed wrappers. 16. Die Anzahl der Wurzeln der Kongruenz x3 + ax + b 0 (mod p) für die verschiedenen Paare a, b. Offprint from Det kongelige norske videnskabers selskab 14 (1941). 161-164pp. Original printed wrappers. 17. A note on recursive arithmetic. Offprint from Det kongelige norske videnskabers selskab 17 (1943). 107-109pp. Original printed wrappers. 18. Remarks on recursive functions and relations. Offprint from Det kongelige norske videnskabers selskab 17 (1944). 89-92pp. Original printed wrappers. 19. Some remarks on the comparison between recursive functions. Offprint from Det kongelige norske videnskabers selskab 17 (1944). 126-129pp. Original printed wrappers. 20. Some remarks on recursive arithmetic. Offprint from Det kongelige norske videnskabers selskab 17 (1944). 103-106pp. Original printed wrappers. 21. Über Nebenkörper und Nebenringe. Offprint from Det norske Videnskaps-Akademie i Oslo, Matematisk-naturvidenskapelig klasse (1944). 70pp. Original printed wrappers. 22. A theorem on the equation 2 - 2 = 1 where , , are integers in an imaginary quadratic field. Offprint from Det norske Videnskaps-Akademie i Oslo, Matematisk-naturvidenskapelig klasse (1945). 13pp. Original printed wrappers. 23. A remark on.
- Softcover
Anbieter: Jeremy Norman's historyofscience, Novato, CA, USAJeremy Norman's historyofscience
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 3.376,58
EUR 8,74 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Skolem, Thoralf (1887-1963). Logisch-kombinatorische Untersuchungen über der Erfüllbarkeit und Beweisbarkeit mathematischen Sätze nebst einem Theoreme über dichte Mengen. Offprint from Skrifter utgit av Videnskabsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse, 4 (1920). 36pp. 274 x 182 mm. Later wrappers, but ve…ry good. First Edition, Offprint Issue. "Many logicians would agree that Skolem and Gödel are the two greatest logicians of the [20th] century" (Wang, p. 119). In the present paper, Skolem "proved the theorem which is now known as the Löwenheim-Skolem theorem. Briefly, this states that if a finite or countable infinite set of sentences formalized within a first order predicate calculus is satisfiable (or, in other terminology, has a model), then the sentences are satisfiable within a countable domain" (Fenstad, p. 102). Another way of phrasing the theorem would be to state that if a theory has a model, then it has a countable model. The Löwenheim-Skolem theorem is one of the foundations of automated theorem proving. "The key work for automated deduction was that of Skolem. He carried out a systematic study of the problem of the existence of an interpretation which will satisfy a given formula of the predicate calculus, or, as one says, whether the given formula is satisfiable" (Davis, p. 9). Skolem was an exception to the rule that mathematicians do their best work when young-his first important paper dates from 1919, when he was thirty-two years old, and he continued to publish significant work until the end of his life. The papers that he published from 1920 on "gave him instant recognition as one of the foremost among logicians" (Fenstad, p. 101). M. Davis, "The prehistory and early history of automated deduction," Automation of Reasoning: Classical Papers on Computational Logic (1983): 1-28. J. Fenstad, "Thoralf Albert Skolem 1887-1963: A brief biographical sketch," Nordic Journal of Philosophical Logic 1 (1996): 99-106. Heijenoort, From Frege to Gödel, pp. 252-263 (reprinting Skolem's paper). Origins of Cyberspace 365. Wang, "Skolem and Gödel," Nordic Journal of Philosophical Logic 1 (1996): 119-132. .
