Structural proof theory :: SCD d'Orléans

Structural proof theory

Structural proof theory

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Negri, Sara, 1967-, Plato, Jan von (Author)
অন্যান্য লেখক:	Ranta, Aarne (Collaborator)
বিন্যাস:	Livre papier
ভাষা:	Anglais
প্রকাশিত:	Cambridge (GB) ; New York : Cambridge University Press 2001.
বিষয়গুলি:	Théorie de la démonstration
টীকা:	Autre tirage : 2008
Autres localisations:	Voir dans le Sudoc

অনুরূপ উপাদানগুলি

Proof Theory : An Introduction
অনুযায়ী: Pohlers, Wolfram

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-

Hybrid logic and its proof-theory
অনুযায়ী: Bräuner, Torben, 1962-

Proof Theory and Intuitionistic Systems
অনুযায়ী: Scarpellini, Bruno, 19..-

The proof is in the pudding : the changing nature of mathematical proof
অনুযায়ী: Krantz, Steven G., 1951-...., mathématicien
প্রকাশিত: (2011)

Intuitionism and proof theory : proceedings of the summer conference at Buffalo N.Y. 1968
অনুযায়ী: Kino, Akiko
প্রকাশিত: (1970)

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)

Proofs from the book
অনুযায়ী: Aigner, Martin, 1942-, অন্যান্য
প্রকাশিত: (2014)

The story of proof : logic and history of mathematics
অনুযায়ী: Stillwell, John, 1942-...., Professeur de mathématiques
প্রকাশিত: (2022)

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

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)

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

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

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
অনুযায়ী: Kahle, Reinhard, 1967-

Modern cryptography, probabilistic proofs and pseudorandomness
অনুযায়ী: Goldreich, Oded, 1957-
প্রকাশিত: (1999)

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
অনুযায়ী: Buchholz, Wilfried, 1948-, অন্যান্য

Lectures on proof verification and approximation algorithms
অনুযায়ী: Mayr, Ernst W., 1950-

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

Tableau systems for first order number theory and certain higher order theories
অনুযায়ী: Toledo, Sue Ann, 1940-
প্রকাশিত: (1975)

Tableau systems for first order number theory and certain higher order theories
অনুযায়ী: Toledo, Sue Ann, 1940-

Methods of cut-elimination
অনুযায়ী: Leitsch, Alexander, 1952-, অন্যান্য

Beweistheorie
অনুযায়ী: Schütte, Kurt, 1909-1998
প্রকাশিত: (1960)

C.Q.F.D. : 21 façons de prouver en mathématiques
অনুযায়ী: Pradeau, Yan, 19..-
প্রকাশিত: (2020)

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

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

Axiomatising the logic of computer programming
অনুযায়ী: Goldblatt, Robert, 1949-

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

CQFD : beauté de la démonstration mathématique
অনুযায়ী: Polster, Burkard, 1965-
প্রকাশিত: (2016)

Metamathematical investigation of intuitionistic arithmetic and analysis
অনুযায়ী: Troelstra, Anne Sjerp
প্রকাশিত: (1973)

Efficient checking of polynomials and proofs and the hardness of approximation problems
অনুযায়ী: Sudan, Madhu

Automated deduction in equational logic and cubic curves
অনুযায়ী: McCune, William Walker, 1953-, অন্যান্য

Equality in the Presence of Apartness: An Application of Structural Proof Analysis to Intuitionistic Axiomatics
অনুযায়ী: Boretti, Bianca, অন্যান্য
প্রকাশিত: (2011)

Ecrits logiques
অনুযায়ী: Herbrand, Jacques, 1908-1931, অন্যান্য
প্রকাশিত: (1968)

Theorems and counterexamples in mathematics
অনুযায়ী: Gelbaum, Bernard R., 1922-2005, অন্যান্য
প্রকাশিত: (1990)

© 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