Andere Kunden interessierten sich auch für
![Cabal Seminar 77 ¿ 79]( "Cabal Seminar 77 ¿ 79")
Cabal Seminar 77 ¿ 7940,99 €![Recursion Theory Week]( "Recursion Theory Week")
Recursion Theory Week28,99 €![Recursion Theory Week]( "Recursion Theory Week")
Recursion Theory Week40,99 €![Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983]( "Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983")
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 198336,99 €![Logic Year 1979-80]( "Logic Year 1979-80")
Logic Year 1979-8032,99 €![Techniques of Admissible Recursion Theory]( "Techniques of Admissible Recursion Theory")
Techniques of Admissible Recursion Theory40,99 €![Constructive Mathematics]( "Constructive Mathematics")
Constructive Mathematics32,99 €
The maximal type structure.- The countable functionals.- Ct(n) as a topological space.- Computability vs recursion.- The computable structure on Ct(k).- Sections.- Some further results and topics.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.