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

Saved in:

Bibliographic Details
Main Author:	Troelstra, Anne Sjerp
Format:	Livre numérique
Language:	Anglais
Published:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in mathematics 344
Subjects:	Théorie de la démonstration Logique symbolique et mathématique Théorie des modèles Mathématiques Mathématiques intuitionnistes
Online Access:	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:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Metamathematical investigation of intuitionistic arithmetic and analysis, A. S. Troelstra (editor),..., Berlin, Springer, 1973, 1 vol. (XVII-485 p.), Lecture notes in mathematics, 0-387-06491-5 • Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Texte imprimé, 9783662210352

Similar Items

Metamathematical investigation of intuitionistic arithmetic and analysis
by: Troelstra, Anne Sjerp
Published: (1973)

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

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

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

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

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

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

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

Proof Theory : An Introduction
by: Pohlers, Wolfram

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

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
by: Berline, Chantal, mathématicienne

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

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

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
by: Buchholz, Wilfried, 1948-, et al.

Ecrits logiques
by: Herbrand, Jacques, 1908-1931, et al.
Published: (1968)

Raisonnements divins
by: Aigner, Martin, 1942-2023, et al.
Published: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
by: Aigner, Martin, 1942-2023, et al.
Published: (2006)

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

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

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

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

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
by: Bucur, Ion, 1930-1976, et al.

Gentzen calculi for modal propositional logic
by: Poggiolesi, Francesca, 1980-

Three Views of Logic : Mathematics, Philosophy, and Computer Science
by: Loveland, Donald W., et al.
Published: (2014)

Büchi's monadic second order successor arithmetic
by: Siefkes, Dirk

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

Automated deduction in equational logic and cubic curves
by: McCune, William Walker, 1953-, et al.

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

Theorems and counterexamples in mathematics
by: Gelbaum, Bernard R., 1922-2005, et al.
Published: (1990)

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

Logique. Méthodes pour l'informatique fondamentale
by: Gochet, Paul, 1932-2011, logicien, et al.
Published: (1990)

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

Eléments de logique mathématique : théorie des modèles
by: Kreisel, Georg, 1923-2015, et al.
Published: (1967)

Institution-independent Model Theory
by: Diaconescu, Răzvan, 1964-
Published: (2008)

Formal concept analysis : mathematical foundations : with 105 figures
by: Ganter, Bernhard, et al.
Published: (1999)

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

Model theory
by: Chang, Chen Chung, 1927-2014, et al.
Published: (1973)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
by: Keisler, Howard Jerome, 1936-
Published: (1971)

Logica Universalis : Towards a General Theory of Logic
by: Beziau, Jean-Yves

Term indexing
by: Graf, Peter, 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