74 treff

The contributions of Peirce, Schröder, Löwenheim, and Skolem to the development of first-order logic
Geraldine Brady
Bok Engelsk 1996
Mathematical interpretation of formal systems
Wiskundig Genootschap (Netherlands)
Bok Engelsk 1971
Selected works in logic
by Th. Skolem ; edited by Jens Erik Fenst...
Bok Engelsk 1970
The Theory of models : proceedings of the 1963 international symposium at Berkeley
International Symposium on the Theory of Models
Bok Engelsk 1965
Abstract set theory
Skolem, Th.
Bok Språk ikke angitt 1962
Forelesninger i mengdelære
av Th. Skolem ; Utg. av Universitetets ma...
Bok Bokmål 1957 · Les boka på nett
Mathematical interpretation of formal systems
Th. Skolem ... [et al.]
Bok Engelsk 1955
Consideraciones sobre los fundamentos de la matematica
Skolem, Th.
Bok Spansk 1952
A theorem on some semi-groups
by Th. Skolem
Bok Engelsk 1952
Diophantische Gleichungen
von Th. Skolem
Bok Tysk 1950
Solutions of the equation axy + bx + cy + d = 0 in algebraic integers
by Th. Skolem
Bok Engelsk 1947 · Les boka på nett
Tallteori : referat av professor Skolems forelesninger våren 1947
Th. Skolem
Bok Bokmål 1947 · Les boka på nett
A theorem on the equation z<gresk>²-d<gresk>r,²= 1, where d<gresk>,z<gresk>, h<gresk> are integers in an imaginary quadratic field
Th. Skolem
Bok Engelsk 1945 · Les boka på nett
A remark on the equation z<gresk>²-d<gresk>r<gresk>'²=1,d<gresk>]0,d<gresk>',d<gresk>'', ..[O, where d<gresk>,z<gresk>,h<gresk> belong to a total real number field
by Th. Skolem
Bok Engelsk 1945 · Les boka på nett
Über Nebenkörper und Nebenringe
von Th. Skolem
Bok Tysk 1944 · Les boka på nett
Unløsbarkeit von Gleichungen, deren entsprechende Kongruenz fyr jeden Modul løsbar ist
von Th. Skolem
Bok Tysk 1942 · Les boka på nett
Über die Ganzen x, für welche ein Polynom P (ux, ux+1, ..., u x+h)=O ist, wenn u eine gegebene lineare rekurrente Gleichung befriedigt
von Th. Skolem
Bok Tysk 1942 · Les boka på nett
Einige sätze über polynome
von Th. Skolem
Bok Tysk 1940 · Les boka på nett
Verallgemeinerungen der Betti-Guidiceschen Formel
von Th. Skolem
Bok Tysk 1940 · Les boka på nett
Eine Bemerkung über die Induktionsschemata in der rekursiven Zahlentheorie
Skolem, Th.
Bok Tysk 1939
Diophantische Gleichungen
von Th. Skolem
Bok Tysk 1938
Polynomers aritmetiske egenskaper
Th. Skolem
Bok Bokmål 1938
Über eine Eigenschafte der Menge aller grössten gemeinsamen Teiler von Polynomen für ganze Werte der Variablen
Skolem, Th.
Bok Tysk 1938
Anwendung exponentieller Kongruenzen zum Beweis der Unlösbarkeit gewisser diophantischer Gleichungen
von Th. Skolem
Bok Tysk 1937 · Les boka på nett
Sätze über ganzwertige Polynome
Skolem, Th.
Bok Tysk 1937
Ubestemte lineære ligninger og ligningssystemer
Th. Skolem
Bok Bokmål 1937
Über die ganzzahlige Lösbarkeit einiger inhomogener quadratischer Gleiehungen mit mehreren Unbekannten
von Th. Skolem
Bok Tysk 1937 · Les boka på nett
Über die Lösbarkeit gewisser linearen Gleichungen im Bereiche der ganzwertigen Polynome
Skolem, Th.
Bok Bokmål 1937
Über die Zurückführbarkeit einiger durch Rekursionen definierter Relationen auf "arithmetische"
Skolem, Th.
Bok Tysk 1937
Eine Bemerkung zum Entscheidungsproblem
Skolem, Th.
Bok Tysk 1936