A decision method for elemantary algebra and goemetry

A decision method for elemantary algebra and goemetry

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tarski, Alfred
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berkeley : University of California Press, 1951
Έκδοση:	2d ed., rev
Θέματα:	Recursive functions. Gödel's theorem.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

The undecidable :
Δημοσίευση: (1965)

Godel's incompleteness theorems
από: Smullyan, Raymond M.
Δημοσίευση: (1992)

Το θεώρημα Godel
από: Nagel, Ernest 1901-1985, κ.ά.
Δημοσίευση: (1991)

Godel's proof
από: Nagel, Ernest 1901-1985, κ.ά.
Δημοσίευση: (1958)

Για το θεώρημα μη πληρότητας του Godel
από: Uspenskii, V. A. (Vladimir Andreevich)
Δημοσίευση: (1998)

Godel's Theorem in Focus
Δημοσίευση: (1991)

Απο την παράνοια στους αλγόριθμους :
από: Δοξιάδης, Απόστολος Κ., 1953-
Δημοσίευση: (2006)

Το θεώρημα μη πληρότητας του Godel
από: Κολιώνης, Γιώργος - Λεωνίδας
Δημοσίευση: (2015)

Αιχμάλωτος των μαθηματικών :
από: Goldstein, Rebecca, 1950-
Δημοσίευση: (2006)

Recursive methods in economic dynamics
από: Stokey, Nancy L.
Δημοσίευση: (1989)

Το θεώρημα μη πληρότητας του Godel :
από: Κολιώνης, Γεώργιος
Δημοσίευση: (2005)

Formalized recursive functionals and formalized realizability
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1969)

Rekursive Folgen
από: Markushevich, A. I. (Alekseaei Ivanovich), 1908-1979
Δημοσίευση: (1955)

Recursive Function Theory
Δημοσίευση: (1962)

Recursive algorithms
από: Lorentz, Richard
Δημοσίευση: (1994)

Theory of formal systems
από: Smullyan, Raymond M.
Δημοσίευση: (1961)

Σκιές του νου
από: Penrose, Roger
Δημοσίευση: (1994)

Shadows of the mind :
από: Penrose, Roger
Δημοσίευση: (1994)

Το Λήμμα του Koenig και η σχέση του με το θεώρημα της πληρότητας
από: Λάτσιου, Αικατερίνα
Δημοσίευση: (2015)

Hierarchies of predicates of finite types
από: Clarke, Douglas Albert
Δημοσίευση: (1964)

Computability :
από: Cutland, Nigel
Δημοσίευση: (1980)

Elementary induction on abstract structures
από: Μοσχοβάκης, Γιάννης Ν., 1938-
Δημοσίευση: (2008)

Εισαγωγή στην υπολογιστική
από: Τουρλάκης, Γιώργος
Δημοσίευση: (1994)

A recursive introduction to the theory of computation
από: Smith, Carl H. 1950-
Δημοσίευση: (1994)

The calculi of lambda-conversion
από: Church, Alonzo 1903-1995
Δημοσίευση: (1951)

Degrees of unsolvability
από: Sacks, Gerald E.
Δημοσίευση: (1966)

Stochastic approximation and recursive algorithms and applications
από: Kushner, Harold J. (Harold Joseph) 1933-
Δημοσίευση: (2003)

The foundations of intuitionistic mathematics :
από: Kleene, Stephen Cole 1909-
Δημοσίευση: (1965)

Minimal degrees of unsolvability and the full approximation construction
από: Epstein, Richard L. 1947-
Δημοσίευση: (1975)

Algorithmen, rekursive funktionen und formaler sprachen
από: Brauer, Wilfried, κ.ά.
Δημοσίευση: (1968)

Techniques of admissible recursion theory
από: Chong, C.-T. (Chi-Tat) 1949-
Δημοσίευση: (1984)

Initial segments of degrees below 0'
από: Epstein, Richard L. 1947-
Δημοσίευση: (1981)

Recursion theory
Δημοσίευση: (1985)

A logical journey :
από: Wang, Hao, 1921-
Δημοσίευση: (1996)

Recursion Theory Week
Δημοσίευση: (1985)

Recursion theory week :
Δημοσίευση: (1990)

The fundamental theorem of algebra
από: Fine, Benjamin 1948-
Δημοσίευση: (1997)

Fatou type theorems :
από: Di Biase, Fausto 1962-
Δημοσίευση: (1998)

Approximation of functions of several variables and imbedding theorems
από: Nikolskii, S. M. (Sergei Mikhailovich), 1905-2012
Δημοσίευση: (1975)

Recursions for convolutions and compound distributions with insurance applications
από: Sundt, Bjorn
Δημοσίευση: (2009)