Proof Theory and Intuitionistic Systems :: SCD d'Orléans

Proof Theory and Intuitionistic Systems

Proof Theory and Intuitionistic Systems

Сохранить в:

Библиографические подробности
Главный автор:	Scarpellini, Bruno, 19..-
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in mathematics 212
Предметы:	Théorie de la démonstration Mathématiques intuitionnistes
Online-ссылка:	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:	• Proof theory and intuitionistic systems, Bruno Scarpellini,..., Berlin, Springer, 1971, 1 vol. (VII-290 p.), Lecture notes in mathematics, 3-540-05541-X • Proof Theory and Intuitionistic Systems, Texte imprimé, 9783662184462

Схожие документы

Metamathematical investigation of intuitionistic arithmetic and analysis
по: Troelstra, Anne Sjerp
Опубликовано: (1973)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
по: Kino, Akiko
Опубликовано: (1970)

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

Intuitionistic logic model theory and forcing
по: Fitting, Melvin Chris, 1942-
Опубликовано: (1969)

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-

Proof Theory : An Introduction
по: Pohlers, Wolfram

Structural proof theory
по: Negri, Sara, 1967-, и др.
Опубликовано: (2001)

Proofs from the book
по: Aigner, Martin, 1942-, и др.
Опубликовано: (2014)

Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y.
по: Troelstra, Anne Sjerp
Опубликовано: (1969)

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

The story of proof : logic and history of mathematics
по: Stillwell, John, 1942-...., Professeur de mathématiques
Опубликовано: (2022)

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

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

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

Introduction à la logique : théorie de la démonstration : [cours, 190 exercices corrigés]
по: David, René, 1948-...., mathématicien, и др.
Опубликовано: (2025)

Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés]
по: David, René, 1948-2022, mathématicien, и др.
Опубликовано: (2004)

The proof is in the pudding : the changing nature of mathematical proof
по: Krantz, Steven G., 1951-...., mathématicien
Опубликовано: (2011)

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

Extensional Gödel functional interpretation : a consistency proof of classical analysis
по: Luckhardt, Horst
Опубликовано: (1973)

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

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

Proof in mathematics ("if", "then" and "perhaps") : a collection of material illustrating the nature and variety of the idea of proof in mathematics
по: Baxandall, P. R.
Опубликовано: (1978)

Intuitionism : an introduction
по: Heyting, Arend, 1898-1980
Опубликовано: (1971)

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

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

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
Опубликовано: (1975)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
по: Buchholz, Wilfried, 1948-, и др.

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
по: Bucur, Ion, 1930-1976, и др.
Опубликовано: (1972)

The Kleene symposium : proceedings of the Symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Опубликовано: (1980)

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

Modern cryptography, probabilistic proofs and pseudorandomness
по: Goldreich, Oded, 1957-
Опубликовано: (1999)

Philosophie de la logique
по: Dummett, Michael Anthony Eardley, 1925-2011
Опубликовано: (1991)

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

Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers

Types for proofs and programs : third international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
по: Bucur, Ion, 1930-1976, и др.

Tableau systems for first order number theory and certain higher order theories
по: Toledo, Sue Ann, 1940-
Опубликовано: (1975)

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

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

© 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