Proof Theory :: SCD d'Orléans

Proof Theory

Proof Theory

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Schütte, Kurt, 1909-1998
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	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, 978-3-642-66475-5

Antzeko izenburuak

Proof Theory : An Introduction
nork: Pohlers, Wolfram

Structural proof theory
nork: Negri, Sara, 1967-, et al.
Argitaratua: (2001)

Proof theory : the first step into impredicativity
nork: Pohlers, Wolfram

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

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

Goal-Directed Proof Theory
nork: Gabbay, Dov M., 1945-, et al.

Proof Theory of Modal Logic

Proof theory for Fuzzy logics
nork: Metcalfe, George, 1974-...., mathématicien, et al.

Lectures in Proof Theory and Complexity
nork: Duccio, Pianigiani
Argitaratua: (2026)

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

A Proof Theory for General Unification
nork: Snyder, Wayne, 1955-

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

Quantification in Ordinary Language and Proof Theory
nork: Abrusci, Michele, et al.
Argitaratua: (2016)

‪Quantification in Ordinary Language and Proof Theory‪
nork: Abrusci, Michele, et al.
Argitaratua: (2016)

Chapter On the Notion of Analyticity in Proof Theory
nork: Indrzejczak, Andrzej
Argitaratua: (2025)

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

Proof Theory of Martin-Löf Type Theory. An overview
nork: Setzer, Anton
Argitaratua: (2006)

The Semantics and Proof Theory of the Logic of Bunched Implications
nork: Pym, David J., 19..-...., mathématicien

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

Principles and Proofs : Aristotle's Theory of Demonstrative Science
nork: McKirahan, Richard D., 1945-
Argitaratua: (2017)

Proof and the Burden of Proof in International Investment Law
nork: Cortesi, Giulio Alvaro

Beweistheorie
nork: Schütte, Kurt, 1909-1998
Argitaratua: (1960)

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

Proofs – are they objective?
nork: Prawitz, Dag
Argitaratua: (2010)

Social Proof.
Argitaratua: (2020)

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

Mathematical Problems and Proofs : Combinatorics, Number Theory, and Geometry
nork: Kisacanin, Branislav, 1968-

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
nork: Andrews, Peter Bruce, 1937-

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
Argitaratua: (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

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

Simplified independence proofs : Boolean valued models of set theory
nork: Rosser, John Barkley, 1907-1989
Argitaratua: (1969)

Evidence, proof and probability
nork: Eggleston, Richard, Sir
Argitaratua: (1978)

Proofs from THE BOOK
nork: Aigner, Martin, 1942-2023, et al.

Proofs from THE BOOK
nork: Aigner, Martin, 1942-2023, et al.

Proof and System-Reliability

Proofs from THE BOOK
nork: Aigner, Martin, 1942-2023, et al.

Proofs from THE BOOK
nork: Aigner, Martin, 1942-2023, et al.
Argitaratua: (2010)

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

© 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