skolem (28 Ergebnisse)

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 packed carefully and ship with free delivery confirmation/tracking. All books come with free bookmarks. Ships from Sag Harbor, New York.

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.

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.).

paperback. Zustand: Good.

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.

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 & 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.

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:

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:

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:

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 Gewicht in Gramm: 360.

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.

Softcover. 113 p. -good.-(Cover worn and sunned, name in ink on the fly-leaf, three underlinings in pencil, but otherwise in good condition. ).

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.

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.

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.

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 Luftabschluß 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.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

37 S. Gr 8° Br.

28 S. Gr 8° Br.

14 S. Gr 8° Br.

38 S. Gr 8° Br.

49 S. Gr 8° Br.

Kristiania, 1921. Royal8vo. Unopened, uncut in the original printed wrappers. Very fine and clean. 57 pp. First edition.

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.

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.

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 blue. 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.

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 the equation 2 - 2 = 1, > 0, , , . . < 0, where , , belong to a total real number field. Offprint from Det norske Videnskaps-Akademie i Oslo, Matematisk-naturvidenskapelig klasse (1945). 15pp. Original printed wrappers. 24. On the prime divisors of the values of certain functions. Offprint from Det kongelige norske videnskabers selskab 18 (1945). 75-78pp. Original printed wrappers. 25. On certain exponential equations. Offprint from Det kongelige norske videnskabers selskab 18 (1945). 71-74pp. Original printed wrappers. 26. Some considerations concerning recursive functions. Offprint from Mathematica scandinavica 1 (1953). 213-221pp. Without wrappers as issued. Creased vertically. .

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 very 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. .