Intuitionism and proof theory : :: SCD d'Orléans

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968

Guardat en:

Dades bibliogràfiques
Autor principal:	Kino, Akiko
Altres autors:	Myhill, John R., 1923-1987, mathématicien (Director editorial), Vesley, Richard Eugène, 1932- (Director editorial)
Format:	Livre papier
Idioma:	Anglais
Publicat:	Amsterdam ; London : North-Holland cop. 1970.
Col·lecció:	Studies in logic and the foundations of mathematics
Matèries:	Mathématiques intuitionnistes Théorie de la démonstration Actes de congrès
Autres localisations:	Voir dans le Sudoc

Ítems similars

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

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

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

Intuitionism : an introduction
per: Heyting, Arend, 1898-1980
Publicat: (1971)

Metamathematical investigation of intuitionistic arithmetic and analysis
per: Troelstra, Anne Sjerp
Publicat: (1973)

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

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 : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

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

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : 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
Publicat: (1975)

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

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

Proof Theory : An Introduction
per: Pohlers, Wolfram

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

Structural proof theory
per: Negri, Sara, 1967-, et al.
Publicat: (2001)

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

Proofs from the book
per: Aigner, Martin, 1942-, et al.
Publicat: (2014)

Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
per: Bucur, Ion, 1930-1976, et al.
Publicat: (1972)

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

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

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

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

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

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

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

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

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

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

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
per: Bucur, Ion, 1930-1976, et al.

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

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

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

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

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

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised 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