ISILC Proof Theory Symposion : :: SCD d'Orléans

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Summer Institute and Logic Colloquium :Kiel
Autres auteurs:	Diller, Justus (Directeur de la publication, Auteur de l'introduction, etc.), Müller, Gert Heinz, 1923-2006 (Directeur de la publication, Auteur de l'introduction, etc.)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in mathematics 500
Sujets:	Théorie de la démonstration Mathématiques Actes de congrès Mélanges et hommages
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Contributions en anglais ou en allemand Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• ISILC - Proof Theory Symposion, Texte imprimé, 9783540075332 • ISILC - Proof Theory Symposion, Texte imprimé, 9783662213346

Documents similaires

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Publié: (1975)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Publié: (1975)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Topics in discrete mathematics : dedicated to Jarik Nešetril on the occasion of his 60th birthday
par: Klazar, Martin

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Silver, money and credit : a tribute to Robartus J. van der Spek on the occasion of his 65th birthday
Publié: (2016)

Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

Nonlinear analysis : stability, approximation and inequalities : In honor of Themistocles M. Rassias on the occasion of his 60th birthday
par: Pardalos, Panos M., 1954-

Hybrid logic and its proof-theory
par: Bräuner, Torben, 1962-

Horizons 2000 aspects of colloid and interface science at the turn of the millenium : [The issue is dedicated to Professor Dr. Dr. h. c. Milan Schwuger on the occasion of his 60th birthday]

Learning, control, and hybrid systems : festschrift in honor of Bruce Allen Francis and Mathukumalli Vidyasagar on the occasion of their 50th birthdays

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
par: Kino, Akiko
Publié: (1970)

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
par: Kakas, Antonis C.

Structural proof theory
par: Negri, Sara, 1967-, et autres
Publié: (2001)

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983 Part II

Arithmetic and geometry. Geometry : papers dedicated to I. R. Shafarevich on the occasion of his sixtieth birthday
par: Artin, Michael, 1934-, et autres
Publié: (1983)

Arithmetic and Geometry. Geometry : papers Dedicated to I.R. Shafarevich on the Occasion of His Sixtieth Birthday
par: Artin, Michael, 1934-, et autres

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday
par: Karhumäki, Juhani, 1949-

Recent developments in general relativity : [dedicated to Leopold Infeld in connection with his 60th birthday].
Publié: (1962)

Applied proof theory : proof interpretations and their use in mathematics
par: Kohlenbach, Ulrich, 1962-
Publié: (2008)

Applied proof theory : proof interpretations and their use in mathematics
par: Kohlenbach, Ulrich, 1962-

Studies in Lie theory : dedicated to A. Joseph on his sixtieth birthday
par: Bernstein, Joseph, 1945-

Proof Theory : An Introduction
par: Pohlers, Wolfram

The story of proof : logic and history of mathematics
par: Stillwell, John, 1942-...., Professeur de mathématiques
Publié: (2022)

The proof is in the pudding : the changing nature of mathematical proof
par: Krantz, Steven G., 1951-...., mathématicien
Publié: (2011)

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

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
par: Lenski, Wolfgang, 1952-

Analysis and partial differential equations : a collection of papers dedicated to Mischa Cotlar
par: Sadosky, Cora, 1940-2010
Publié: (1990)

Arithmetic and geometry. Arithmetic : papers dedicated to I.R. Shafarevich on the occasion of his sixtieth birthday
par: Artin, Michael, 1934-, et autres
Publié: (1983)

Arithmetic and Geometry. Arithmetic : papers Dedicated to I.R. Shafarevich on the Occasion of His Sixtieth Birthday
par: Artin, Michael, 1934-, et autres

Légiférer, gouverner et juger : mélanges d'histoire du droit et des institutions (IXe-XXIe siècle) offerts à Jean-Marie Cauchies à l'occasion de ses 65 ans
par: Bousmar, Eric, et autres
Publié: (2019)

Proof in mathematics ("if", "then" and "perhaps") : a collection of material illustrating the nature and variety of the idea of proof in mathematics
par: Baxandall, P. R.
Publié: (1978)

Proofs from the book
par: Aigner, Martin, 1942-, et autres
Publié: (2014)

Complex analysis and algebraic geometry : a collection of papers dedicated to K. Kodaira
Publié: (1977)

Mélanges en l'honneur de Jean-Guy Mérigot
par: Labourdette, André, 1935-2005, économiste
Publié: (1992)

Functional analysis and operator theory for quantum physics : the Pavel Exner anniversary volume
Publié: (2017)

Mélanges offerts à René Crozet,... à l'occasion de son soixante-dixième anniversaire par ses amis, ses collègues, ses élèves et les membres du CÉSCM
par: Gallais, Pierre, 1929-2001, et autres
Publié: (1966)

Recherches et réalisations : mélanges Pierre Vellas La capacité d'adaptation des universités. Droit et relations internationales. Transport aérien et activités spatiales. Santé publique et gérontologie
Publié: (1995)

© 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