The Kleene symposium : :: SCD d'Orléans

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

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

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	Kleene symposium :Madison, Wis
Muut tekijät:	Keisler, Howard Jerome, 1936- (Päätoimittaja), Barwise, Jon, 1942-2000 (Päätoimittaja), Kunen, Kenneth, 1943-2020 (Päätoimittaja)
Aineistotyyppi:	Livre papier
Kieli:	Anglais
Julkaistu:	Amsterdam : North-Holland 1980.
Sarja:	Studies in logic and the foundations of mathematics 101
Aiheet:	Kleene, Stephen Cole, > 1909-1994 Récursivité, théorie de la Mathématiques intuitionnistes Actes de congrès
Autres localisations:	Voir dans le Sudoc

Samankaltaisia teoksia

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

Generalized recursion theory II : proceedings of the 1977 Oslo symposium
Julkaistu: (1978)

Proof Theory and Intuitionistic Systems
Tekijä: Scarpellini, Bruno, 19..-

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
Tekijä: Kino, Akiko
Julkaistu: (1970)

Metamathematical investigation of intuitionistic arithmetic and analysis
Tekijä: Troelstra, Anne Sjerp
Julkaistu: (1973)

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

Lire, jouer Ionesco
Julkaistu: (2010)

Intuitionistic logic model theory and forcing
Tekijä: Fitting, Melvin Chris, 1942-
Julkaistu: (1969)

Notes et contre-notes
Tekijä: Ionesco, Eugène, 1909-1994
Julkaistu: (1991)

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

Onetti : tres personajes y un autor
Tekijä: Flores, Reyes E.
Julkaistu: (2003)

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
Tekijä: Lolli, Gabriele, 1942-
Julkaistu: (2011)

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
Tekijä: Troelstra, Anne Sjerp
Julkaistu: (1969)

Intuitionism : an introduction
Tekijä: Heyting, Arend, 1898-1980
Julkaistu: (1971)

Metamathematical investigation of intuitionistic arithmetic and analysis
Tekijä: Troelstra, Anne Sjerp

Eugène Ionesco
Tekijä: Hubert, Marie-Claude, 1945-
Julkaistu: (1990)

Eugène Ionesco : le rire et l'espérance : une biographie
Tekijä: Plazy, Gilles, 1942-
Julkaistu: (1994)

Dictionnaire Eugène Ionesco
Julkaistu: (2012)

"La cantatrice chauve" et "La leçon" d'Eugène Ionesco
Tekijä: Bigot, Michel, 1933-, et al.
Julkaistu: (1991)

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
Tekijä: Troelstra, Anne Sjerp

The Logical Writings of Karl Popper
Julkaistu: (2022)

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

General recursion theory : an axiomatic approach
Tekijä: Fenstad, Jens Erik, 1935-2020
Julkaistu: (1980)

Recursiveness
Tekijä: Eilenberg, Samuel, 1913-1998, et al.
Julkaistu: (1970)

Recursion-theoretic hierarchies
Tekijä: Hinman, Peter G.
Julkaistu: (1978)

Recursive analysis
Tekijä: Goodstein, Reuben Louis, 1912-1985
Julkaistu: (1961)

Portrait de l'écrivain dans le siècle, Eugène Ionesco : 1909-1994
Tekijä: Ionesco, Marie-France, 1944-
Julkaistu: (2004)

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

The Effective as the Actual and as the Calculable in Jean Cavaillès
Tekijä: Hare, Matt
Julkaistu: (2024)

The Selected correspondence of L.E.J. Brouwer
Tekijä: von Dalen, Dirk

Recursion on the countable functionals
Tekijä: Normann, Dag, 1947-

First-order dynamic logic
Tekijä: Harel, David, 1950-

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

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

Eugène Ionesco : classicisme et modernité
Julkaistu: (2011)

Leopold Kohr & la société à échelle humaine
Tekijä: Portron, Alexandre
Julkaistu: (2026)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
Tekijä: Luckhardt, Horst
Julkaistu: (1973)

Extensional Gödel functional interpretation : a consistency proof of classical analysis
Tekijä: Luckhardt, Horst

Degrees of unsolvability
Tekijä: Sacks, Gerald, 1933-2019
Julkaistu: (1966)

© 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