Skolem (26 Ergebnisse)
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 9,69
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
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 29,48
EUR 4,27 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Good.
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
In den WarenkorbBroschiert. 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
In den WarenkorbChelsea 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,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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,14
EUR 15,88 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
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
In den Warenkorbgebundene 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
In den WarenkorbMathematische 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
In den WarenkorbSoftcover. 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 - Gut
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 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 G…ramm: 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 - Gut
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 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 G…ramm: 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 - Gut
EUR 24,50
EUR 40,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Gut. 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 G…ramm: 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
In den WarenkorbNach- 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: 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
In den Warenkorbweicher Einband. 37 S. Gr 8° Br. Sprache: Deutsch.
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 174,49
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
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
In den Warenkorbweicher 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
In den Warenkorbweicher 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
In den Warenkorbweicher 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
In den Warenkorbweicher 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,22
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbKristiania, 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,11
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbKristiania, 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,67
EUR 42,00 VersandVersand von Dänemark nach USAAnzahl: 1 verfügbar
In den WarenkorbOslo, 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,47
EUR 25,68 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbFirst 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.423,41
EUR 8,56 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den Warenkorb1. 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.304,65
EUR 8,56 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbSkolem, 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 younghis 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): 99106. 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. .
