An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof :: SCD d'Orléans

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Andrews, Peter Bruce, 1937-
Formáid:	Livre numérique
Teanga:	Anglais
Foilsithe / Cruthaithe:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Rochtain ar líne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nóta:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 978-90-481-6079-2

Míreanna comhchosúla

Proof Theory of Modal Logic

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

Hybrid logic and its proof-theory
de réir: Bräuner, Torben, 1962-

Introduction · to Mathematical Structures and · Proofs
de réir: Gerstein, Larry J.

Introduction to mathematical structures and proofs
de réir: Gerstein, Larry J.

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

A transfinite type theory with type variables
de réir: Andrews, Peter Bruce, 1937-
Foilsithe / Cruthaithe: (1965)

Mathematical Problems and Proofs : Combinatorics, Number Theory, and Geometry
de réir: Kisacanin, Branislav, 1968-

Proof Theory of Martin-Löf Type Theory. An overview
de réir: Setzer, Anton
Foilsithe / Cruthaithe: (2006)

Proof Theory : An Introduction
de réir: Pohlers, Wolfram

Termination proofs for logic programs
de réir: Plümer, Lutz, 1951-

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

Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka
de réir: Poggiolesi, Francesca
Foilsithe / Cruthaithe: (2015)

Mathematical logic and model theory : a brief introduction
de réir: Prestel, Alexander, 1941-...., mathématicien, et al.

‪Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka‪
de réir: Poggiolesi, Francesca
Foilsithe / Cruthaithe: (2015)

Introduction to mathematical logic.
de réir: Church, Alonzo, 1903-1995
Foilsithe / Cruthaithe: (1956)

Introduction to mathematical logic
de réir: Mendelson, Elliott, 1931-2020
Foilsithe / Cruthaithe: (1964)

Introduction to Mathematical Logic
de réir: Hermes, Hans, 1912-2003

Proof Theory
de réir: Schütte, Kurt, 1909-1998

Proof and Understanding in Mathematical Practice
de réir: Macbeth, Danielle
Foilsithe / Cruthaithe: (2012)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory
de réir: Malitz, Jerome, 1936-

Mathematical logic : an introduction to model theory
de réir: Lightstone, Albert Harold, 1926-1976, mathématicien

Proof and Understanding in Mathematical Practice
de réir: Macbeth, Danielle
Foilsithe / Cruthaithe: (2012)

Proofs and refutations : the logic of mathematical discovery
de réir: Lakatos, Imre, 1922-1974
Foilsithe / Cruthaithe: (1976)

Elements of mathematical logic and set theory
de réir: Słupecki, Jerzy, 1904-1987, et al.
Foilsithe / Cruthaithe: (1967)

A mathematical introduction to logic
de réir: Enderton, Herbert, 1936-2010
Foilsithe / Cruthaithe: (1972)

An Algebraic Introduction to Mathematical Logic
de réir: Barnes, Donald W., 1935-, et al.

Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
de réir: Hamami, Yacin
Foilsithe / Cruthaithe: (2014)

‪Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference‪
de réir: Hamami, Yacin
Foilsithe / Cruthaithe: (2014)

Structural proof theory
de réir: Negri, Sara, 1967-, et al.
Foilsithe / Cruthaithe: (2001)

The Pragmatists and the Human Logic of Truth
de réir: Tiercelin, Claudine, 1952-...., philosophe
Foilsithe / Cruthaithe: (2014)

The Pragmatists and the Human Logic of Truth
de réir: Tiercelin, Claudine, 1952-...., philosophe
Foilsithe / Cruthaithe: (2014)

The Pragmatists and the Human Logic of Truth
de réir: Claudine Tiercelin
Foilsithe / Cruthaithe: (2021)

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
de réir: Lavrov, Igor, et al.

Proof theory : the first step into impredicativity
de réir: Pohlers, Wolfram

Applied proof theory : proof interpretations and their use in mathematics
de réir: Kohlenbach, Ulrich, 1962-
Foilsithe / Cruthaithe: (2008)

Applied proof theory : proof interpretations and their use in mathematics
de réir: Kohlenbach, Ulrich, 1962-

Mathematical logic
de réir: Shoenfield, Joseph Robert, 1927-2000
Foilsithe / Cruthaithe: (1967)

Mathematical Logic
de réir: Monk, J. Donald, 1930-

© 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