Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies :: SCD d'Orléans

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

保存先:

書誌詳細
主要な著者:	Buchholz, Wilfried, 1948-, Feferman, Solomon, 1928-2016 (著者), Sieg, Wilfried, 1945- (著者), Pohlers, Wolfram (著者)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in mathematics 897
主題:	Théorie de la démonstration Logique symbolique et mathématique Induction (mathématiques) Analyse mathématique > Fondements
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Iterated inductive definitions and subsystems of analysis, recent proof-theoretical studies, Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg, 1981, Berlin [etc.], Springer-Verlag, 1 volume (V-383 p.), Lecture notes in mathematics, 0-387-11170-0 • Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies, Texte imprimé, 9783662167199

類似資料

Proof Theory : An Introduction
著者:: Pohlers, Wolfram

Iterates of Maps on an Interval
著者:: Preston, Christopher J., 1944-

Proofs from the book
著者:: Aigner, Martin, 1942-, 等
出版事項: (2014)

Applied proof theory : proof interpretations and their use in mathematics
著者:: Kohlenbach, Ulrich, 1962-
出版事項: (2008)

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

The story of proof : logic and history of mathematics
著者:: Stillwell, John, 1942-...., Professeur de mathématiques
出版事項: (2022)

Statistical and inductive probabilities
著者:: Leblanc, Hugues, 1924-1999
出版事項: (1962)

A logical introduction to proof
著者:: Cunningham, Daniel W.

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

Raisonnements divins
著者:: Aigner, Martin, 1942-2023, 等
出版事項: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
著者:: Aigner, Martin, 1942-2023, 等
出版事項: (2006)

Les démonstrations : l'art de convaincre
著者:: Cohen, Gilles, 1951-2023, mathématicien
出版事項: (2015)

Analyse mathématique : grands théorèmes du vingtième siècle
著者:: Choimet, Denis, 19..-, 等
出版事項: (2009)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
著者:: Kino, Akiko
出版事項: (1970)

The problem of inductive logic
出版事項: (1968)

Induction, recursion, and programming
著者:: Wand, Mitchell
出版事項: (1980)

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

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

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

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

Regards sur la nature : place de l’observation dans les textes astronomiques latins
著者:: Poliquin, Émilie-Jade
出版事項: (2013)

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

Foundations of inductive logic programming
著者:: Nienhuys-Cheng, Shan-Hwei, 1943-, 等

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
著者:: Kahle, Reinhard, 1967-

Types for proofs and programs : International Workshop TYPES '94 Båstad, Sweden, June 6 10, 1994 : selected papers

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
著者:: Schmid, Ute

Types for proofs and programs : International Workshop, TYPES 2000 Durham, UK, December 8 12, 2000 : selected papers

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Preuve et démonstration en mathématiques au collège

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

The geometry of iterated loop spaces
著者:: May, Jon Peter, 1939-...., mathémarticien

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Les recherches actuelles sur l'apprentissage de la démonstration et les phénomènes de validation en France

Rationalité et démonstration mathématiques, le rapport de la classe à une communauté scientifique

La démonstration euclidienne

La Notion de contre-exemple au collège

Faire la figure, coder, écrire des hypothèses, démontrer que...

The homology of iterated loop spaces
著者:: Cohen, Frederick Ronald, 1945-2022, 等

© 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