Proofs from THE BOOK :: SCD d'Orléans

Proofs from THE BOOK

Proofs from THE BOOK

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Aigner, Martin, 1942-2023, Ziegler, Günter M., 1963-...., mathématicien (Auteur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Proofs from THE BOOK, 978-3-662-04317-2

Lignende værker

Proofs from THE BOOK
af: Aigner, Martin, 1942-2023, et autres

Proofs from THE BOOK
af: Aigner, Martin, 1942-2023, et autres

Proofs from THE BOOK
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2010)

Proofs from THE BOOK
af: Aigner, Martin, 1942-2023, et autres

Proofs from the book
af: Aigner, Martin, 1942-, et autres
Udgivet: (2014)

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

Raisonnements divins
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2002)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2006)

Raisonnements divins : quelques démonstrations mathématiques particulièrement élégantes
af: Aigner, Martin, 1942-2023, et autres
Udgivet: (2017)

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

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

Proof Theory
af: Schütte, Kurt, 1909-1998

Proofs – are they objective?
af: Prawitz, Dag
Udgivet: (2010)

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

Social Proof.
Udgivet: (2020)

Proof Theory : An Introduction
af: Pohlers, Wolfram

Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples
af: Gil-Férez, José, et autres
Udgivet: (2025)

Formalizing the Logic and Proofs of Book I of Euclid’s Elements: Some Examples
af: Gil-Férez, José, et autres
Udgivet: (2025)

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

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

Evidence, proof and probability
af: Eggleston, Richard, Sir
Udgivet: (1978)

Proof and System-Reliability

The proof of my innocence
af: Coe, Jonathan, 1961-
Udgivet: (2024)

Structural proof theory
af: Negri, Sara, 1967-, et autres
Udgivet: (2001)

Rabbit-proof fence
af: Pilkington, Doris, 1936-, et autres
Udgivet: (2008)

Proofs and refutations : the logic of mathematical discovery
af: Lakatos, Imre, 1922-1974
Udgivet: (1976)

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

Authors want to read proofs! From Erasmus to Schopenhauer
af: Janssen, Frans A., et autres
Udgivet: (2012)

Proofs as Spatio-Temporal Processes
af: Stefaneas, Petros, et autres
Udgivet: (2015)

‪Proofs as Spatio-Temporal Processes‪
af: Stefaneas, Petros, et autres
Udgivet: (2015)

Goal-Directed Proof Theory
af: Gabbay, Dov M., 1945-, et autres

Proliferation-proof Uranium/Plutonium and Thorium/Uranium Fuel Cycles: Safeguards and Non-Proliferation
af: Kessler, Günter
Udgivet: (2021)

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

The Art of proof : basic training for deeper mathematics
af: Beck, Matthias, 1970-

The Science of Proof : Forensic Medicine in Modern France
af: Cage, E. Claire
Udgivet: (2022)

Burdens of Proof : Faith, Doubt, and Identity in Autobiography
af: Egan, Susanna
Udgivet: (2011)

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

Proofs and fundamentals : a first course in abstract mathematics
af: Bloch, Ethan D., 1956-

Proofs and Fundamentals : A First Course in Abstract Mathematics
af: Bloch, Ethan D., 1956-

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

© 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