Metamathematical investigation of intuitionistic arithmetic and analysis :: SCD d'Orléans

Metamathematical investigation of intuitionistic arithmetic and analysis

Metamathematical investigation of intuitionistic arithmetic and analysis

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Troelstra, Anne Sjerp
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Berlin ; Heidelberg ; New York : Springer 1973, cop. 1973.
Serier:	Lecture notes in mathematics 344
Fag:	Théorie de la démonstration Théorie des modèles Mathématiques intuitionnistes
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Metamathematical investigation of intuitionistic arithmetic and analysis, [edited by] A. S. Troelstra,..., Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-37806-8

Lignende værker

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

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

Intuitionistic logic model theory and forcing
af: Fitting, Melvin Chris, 1942-
Udgivet: (1969)

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

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

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

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
af: David, René, 1948-...., mathématicien, et autres
Udgivet: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
af: David, René, 1948-2022, mathématicien, et autres
Udgivet: (2004)

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

Intuitionism : an introduction
af: Heyting, Arend, 1898-1980
Udgivet: (1971)

The logic of information structures
af: Wansing, Heinrich, 1963-

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

Extensional Gödel functional interpretation : a consistency proof of classical analysis
af: Luckhardt, Horst
Udgivet: (1973)

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

Proofs from the book
af: Aigner, Martin, 1942-, et autres
Udgivet: (2014)

Applied proof theory : proof interpretations and their use in mathematics
af: Kohlenbach, Ulrich, 1962-
Udgivet: (2008)

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
af: Bucur, Ion, 1930-1976, et autres
Udgivet: (1972)

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

CQFD : beauté de la démonstration mathématique
af: Polster, Burkard, 1965-
Udgivet: (2016)

Tableau systems for first order number theory and certain higher order theories
af: Toledo, Sue Ann, 1940-

Proof Theory : An Introduction
af: Pohlers, Wolfram

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
af: Berline, Chantal, mathématicienne

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
af: Buchholz, Wilfried, 1948-, et autres

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Theorems and counterexamples in mathematics
af: Gelbaum, Bernard R., 1922-2005, et autres
Udgivet: (1990)

Preuves et réfutations : essai sur la logique de la découverte mathématique
af: Lakatos, Imre, 1922-1974
Udgivet: (1984)

Philosophie de la logique
af: Dummett, Michael Anthony Eardley, 1925-2011
Udgivet: (1991)

Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
af: Richman, Fred, 1938-

Ecrits logiques
af: Herbrand, Jacques, 1908-1931, et autres
Udgivet: (1968)

Quantization and arithmetic
af: Unterberger, Andre, 1940-
Udgivet: (2008)

Quantization and Arithmetic
af: Unterberger, André, 1940-...., mathématicien
Udgivet: (2008)

Raisonnements divins
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2006)

Les démonstrations : l'art de convaincre
af: Cohen, Gilles, 1951-2023, mathématicien
Udgivet: (2015)

On the shape of mathematical arguments
af: Gasteren, Antonetta J. M. van, 1952-

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

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

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

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

© 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