To see the other types of publications on this topic, follow the link: Preuve de théorème.

Books on the topic 'Preuve de théorème'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Preuve de théorème.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

The resolution calculus. Berlin: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Meinel, Christoph. Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen: eine Einführung. 4th ed. Wiesbaden: Teubner, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

1948-, Detlefsen Michael, ed. Proof, logic, and formalization. London: Routledge, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Theoremus: A student's guide to math proofs. Victoria]: [Sleekersoft Pty Ltd.], 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

1948-, Detlefsen Michael, ed. Proof and knowledge in mathematics. London: Routledge, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

M, Ziegler Günter, ed. Proofs from The Book. 2nd ed. Berlin: Springer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

M, Ziegler Günter, ed. Proofs from the book. 3rd ed. Berlin: Springer, 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

M, Ziegler Günter, ed. Proofs from the book. 2nd ed. Berlin: Springer, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Aigner, Martin. Proofs from The Book. Berlin: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Proof theory: Sequent calculi and related formalisms. Boca Raton: CRC Press, Taylor & Francis Group, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Handbook of mathematical induction: Theory and applications. Boca Raton, FL: CRC Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

1967-, Pentus Mati Reĭnovich, and Vereshchagin Nikolai Konstantinovich 1958-, eds. Provability, complexity, grammars. Providence, RI: American Mathematical Society, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Compositionality, concurrency, and partial correctness: Proof theories for networks of processes and their relationship. Berlin: Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Scripture and knowledge: An essay on religious epistemology. Leiden: E.J. Brill, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

L, Blanton Maria, and Knuth Eric J, eds. Teaching and learning proof across the grades: A K-16 perspective. New York, N.Y: Routledge, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Interweavement: International media ethics and rational decision-making. New York: Custom Pub., 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Proofs and Fundamentals: A First Course in Abstract Mathematics. Birkhäuser Boston, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Taylor, John. Understanding Mathematical Proof. Taylor & Francis Group, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Garnier, Rowan, and John Taylor. Understanding Mathematical Proof. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

Garnier, Rowan, and John Taylor. Understanding Mathematical Proof. Taylor & Francis Group, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Garnier, Rowan, and John Taylor. Understanding Mathematical Proof. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Taylor, John. Understanding Mathematical Proof. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Nicholson, Neil R. Transition to Proof: An Introduction to Advanced Mathematics. Taylor & Francis Group, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

Nicholson, Neil R. Transition to Proof. Taylor & Francis Group, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Transition to Proof: An Introduction to Advanced Mathematics. Taylor & Francis Group, 2019.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Mathematical Analysis and Proof (Albion Mathematics & Applications Series). Albion/Horwood Publishing, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

Mill, John Stuart. Système de logique déductive et inductive. Exposé des principes de la preuve et des méthodes de recherche scientifique: Tome 2. Adamant Media Corporation, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

The blind spot: Lectures on logic. European Mathematical Society, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton & Company, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Deaconu, Valentin. Bridge to Higher Mathematics. Taylor & Francis Group, 2017.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Goldstein, Rebecca. Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton & Company, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Goldstein, Rebecca. Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
33

Deaconu, Valentin, and Donald C. Pfaff. Bridge to Higher Mathematics. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

Incompleteness. 승산, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Deaconu, Valentin, and Donald C. Pfaff. Bridge to Higher Mathematics. Taylor & Francis Group, 2017.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

Deaconu, Valentin, and Donald C. Pfaff. Bridge to Higher Mathematics. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Incompleteness: The Proof and Paradox of Kurt Godel (Great Discoveries). W. W. Norton, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

Garnier, Rowan, and Johnn Taylor. 100% Mathematical Proof. Ebsco Publishing, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence). The MIT Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Méditations métaphysiques. FLAMMARION, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Gunderson, David S. Handbook of Mathematical Induction: Theory and Applications. Taylor & Francis Group, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Gunderson, David S. Handbook of Mathematical Induction: Theory and Applications. Taylor & Francis Group, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Gunderson, David S. Handbook of Mathematical Induction: Theory and Applications. Taylor & Francis Group, 2016.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Stylianou, Despina A., Maria L. Blanton, and Eric J. Knuth. Teaching and Learning Proof Across the Grades: A K-16 Perspective. Taylor & Francis Group, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

Rauch, Jennifer. Resisting the News. Taylor & Francis Group, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

Rauch, Jennifer. Resisting the News: Engaged Audiences, Alternative Media, and Popular Critique of Journalism. Taylor & Francis Group, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

Rauch, Jennifer. Resisting the News. Taylor & Francis Group, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

Rauch, Jennifer. Resisting the News: Engaged Audiences, Alternative Media, and Popular Critique of Journalism. Taylor & Francis Group, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

Mystical Experience of God: A Philosophical Inquiry (Ashgate Philosophy of Religion Series) (Ashgate Philosophy of Religion Series) (Ashgate Philosophy of Religion Series). Ashgate Publishing, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

Descartes: An Analytical And Historical Introduction. Oxford University Press, Usa, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography