Generalized recursion theory II : :: SCD d'Orléans

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Zapisane w:

Opis bibliograficzny
Korporacja:	Symposium on Generalized Recursion Theory :Oslo
Kolejni autorzy:	Fenstad, Jens Erik, 1935-2020 (Dyrektor wydawnictwa), Gandy, Robin O., 1919-1995 (Dyrektor wydawnictwa), Sacks, Gerald, 1933-2019 (Dyrektor wydawnictwa)
Format:	Livre papier
Język:	Anglais
Wydane:	Amsterdam ; New-York ; Oxford : North-Holland 1978.
Seria:	Studies in logic and the foundations of mathematics 94
Hasła przedmiotowe:	Récursivité, théorie de la Actes de congrès
Autres localisations:	Voir dans le Sudoc

Podobne zapisy

Generalized recursion theory : proceedings of the 1972 Oslo symposium
Wydane: (1974)

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, FRG, March 19 25, 1989

Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany April 15 21, 1984

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Wydane: (1967)

General recursion theory : an axiomatic approach
od: Fenstad, Jens Erik, 1935-2020
Wydane: (1980)

Recursive analysis
od: Goodstein, Reuben Louis, 1912-1985
Wydane: (1961)

Recursion-theoretic hierarchies
od: Hinman, Peter G.
Wydane: (1978)

Techniques of Admissible Recursion Theory
od: Chong, Chi-Tat, 1949-...., mathématicien

Theory of recursive functions and effective computability
od: Rogers, Hartley, 1926-2015
Wydane: (1967)

Recursion on the countable functionals
od: Normann, Dag, 1947-

Induction, recursion, and programming
od: Wand, Mitchell
Wydane: (1980)

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
od: Lolli, Gabriele, 1942-
Wydane: (2011)

Set Theory and Hierarchy Theory V

Set theory and hierarchy theory V : Bierutowice, Poland, 1976
Wydane: (1977)

The recursion method : application to many-body dynamics
od: Viswanath, V.S, i wsp.

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977
od: Karpiński, Marek

Recursive methods in economic dynamics
od: Stokey, Nancy L., i wsp.
Wydane: (1989)

Cabal Seminar 81 85 : Proceedings, Caltech-UCLA Logic Seminar 1981 85

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Wydane: (1980)

Cabal Seminar 79 81 : Proceedings, Caltech-UCLA Logic Seminar 1979 81

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Wydane: (1977)

Recursiveness
od: Eilenberg, Samuel, 1913-1998, i wsp.
Wydane: (1970)

Récursivité
od: Azra, Jean-Pierre, i wsp.
Wydane: (1973)

Subrecursion : functions and hierarchies
od: Rose, Harvey Ernest, 1936-
Wydane: (1984)

First-order dynamic logic
od: Harel, David, 1950-

Walks on Ordinals and Their Characteristics
od: Todorčević, Stevo, 1955-...., mathématicien

Degrees of unsolvability
od: Sacks, Gerald, 1933-2019
Wydane: (1966)

Cybernetique d’une theorie de la connaissance
od: Foerster, Heinz von
Wydane: (2015)

Generalized Convexity, Generalized Monotonicity and Applications : Proceedings of the 7th International Symposium on Generalized Convexity and Generalized Monotonicity.
od: Eberhard, Andrew, 19..-

Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus
od: Goodstein, Reuben Louis, 1912-1985
Wydane: (1964)

Generalized Functions, Convergence Structures, and Their Applications

Generalized measure theory
od: Wang, Zhenyuan, 1949-, i wsp.
Wydane: (2009)

Theory of generalized spectral operators
od: Colojoară, Ion, i wsp.
Wydane: (1968)

Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1 3, 1979
od: Jensen, Ronald Björn, 1936-

Knot theory : proceedings, Plans-sur-Bex, Switzerland 1977

Representation theory II : Groups and orders : Proceedings of the Fourth International Conference on Representations of Algebras held in Ottawa, Canada, August 16 25, 1984

A nonlinear theory of generalized functions
od: Biagioni, Hebe Azevedo, 1952-
Wydane: (1990)

Geometric group theory. proceedings of the symposium held in Sussex, 1991
Wydane: (1993)

Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13 23, 1977

A Nonlinear Theory of Generalized Functions

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales