Jump to main content

yr 〜
yr

Search results 23

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]

An early history of recursive functions and computability : from Gödel to Turing : pbk [New ed.]
Paper図書
Rod AdamsDocent Pressc2011
Other Libraries in Japan
  • LCCQA9.615

Elementary induction on abstract structures

Elementary induction on abstract structures
Paper図書
Yiannis N. MoschovakisDover Publications2008
Other Libraries in Japan
  • LCCQA9.615

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
Paper図書
North-Hollandc1992.<MA41-A80>
National Diet Library
  • LCCQA9.615

Super-recursive algorithms

Super-recursive algorithms
Paper図書
Mark BurginSpringerc2005
Other Libraries in Japan
  • LCCQA9.615

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen
Paper図書
Michael DeutschUniversitätsdruckerei Bremenc2003
Other Libraries in Japan
  • LCCQA9.615

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems
Paper図書
Roman MurawskiKluwer Academic Publishersc1999
Other Libraries in Japan
  • LCCQA9.615

Automorphisms of the lattice of recursively enumerable sets

Automorphisms of the lattice of recursively enumerable sets
Paper図書
Peter CholakAmerican Mathematical Society1995
Other Libraries in Japan
  • LCCQA3 QA9.615

Recursive algorithms

Recursive algorithms
Paper図書
Richard J. LorentzAblex Pub. Corp.1994
Other Libraries in Japan
  • LCCQA9.615

Recursive functionals

Recursive functionals
Paper図書
Luis E. SanchisNorth-Holland1992
Other Libraries in Japan
  • LCCQA9.615

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)

Computations in higher types / Johan Moldestad. (Lecture notes in mathematics ; 574)
Paper図書
Springer-Verlag1977.<MA41-112>
National Diet Library
  • LCCQA3 QA9.615

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : U.S. : Germany
Paper図書
Robert I. SoareSpringer-Verlagc1987
Other Libraries in Japan
  • LCCQA9.615

Theory of recursive functions and effective computability : pbk

Theory of recursive functions and effective computability : pbk
Paper図書
Hartley Rogers, JrMIT Press1987
Other Libraries in Japan
  • LCCQA9.615

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk

Recursively enumerable sets and degrees : a study of computable functions and computably generated sets : pbk
Paper図書
Robert I. SoareSpringer-Verlag[20--], c1987
Other Libraries in Japan
  • LCCQA9.615

Subrecursion : functions and hierarchies : U.S.

Subrecursion : functions and hierarchies : U.S.
Paper図書
H.E. RoseClarendon Press1984
Other Libraries in Japan
  • LCCQA9.615

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
Paper図書
С. КаллибековИзд-во "Фан" Узбекской ССР1983
Other Libraries in Japan
  • LCCQA9.615

Computability & unsolvability : pbk.

Computability & unsolvability : pbk.
Paper図書
Martin DavisDover Publicationsc1982
Other Libraries in Japan
  • LCCQA9.615

Computability & unsolvability : pbk Dover ed

Computability & unsolvability : pbk Dover ed
Paper図書
Martin DavisDover1982
Other Libraries in Japan
  • LCCQA9.615

Recursive functions in computer theory : Halstead Press : Ellis Horwood

Recursive functions in computer theory : Halstead Press : Ellis Horwood
Paper図書
Rózsa Péter ; [translated by I. Juhász]Ellis Horwoodc1981
Other Libraries in Japan
  • LCCQA9.615

Вычислимое и невычислимое

Вычислимое и невычислимое
Paper図書
Ю.И. Манин"Советское радио"1980
Other Libraries in Japan
  • LCCQA9.615

Computations in higher types : Berlin : New York

Computations in higher types : Berlin : New York
Paper図書
Johan MoldestadSpringer-Verlag1977
Other Libraries in Japan
  • LCCQA3 QA9.615
RSS