Log in

Relevant bibliographies by topics / Mathematics Proof theory. Logic, Symbolic and mathematical / Books

To see the other types of publications on this topic, follow the link: Mathematics Proof theory. Logic, Symbolic and mathematical.

Books on the topic 'Mathematics Proof theory. Logic, Symbolic and mathematical'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'Mathematics Proof theory. Logic, Symbolic and mathematical.'

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

1957-, Taylor John, ed. 100% mathematical proof. Chichester: Wiley, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Introduction to mathematical proof: A transition to advanced mathematics. Boca Raton: CRC Press, Taylor & Francis Group, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Rowan, Garnier, ed. Understanding mathematical proof. Boca Raton: Taylor & Francis, 2014.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

B, Maddox Randall, ed. A transition to abstract mathematics: Learning mathematical thinking and writing. 2nd ed. Amsterdam: Academic Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Wansing, H. Proof theory of modal logic. Dordrecht: Springer, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Proof, logic, and conjecture: The mathematician's toolbox. New York: W.H. Freeman, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Resolution proof systems: An algebraic theory. Dordrecht: Kluwer Academic Publishers, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

1977-, Nguyen Phuong, ed. Perspectives in logic: Logical foundations of proof complexity. Cambridge: Cambridge University Press, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Benson, Donald C. The moment of proof: Mathematical epiphanies. New York: Oxford University Press, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Pym, David J. Reductive logic and proof-search: Proof theory, semantics, and control. Oxford: Clarendon Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Tracking reason: Proof, consequence, and truth. New York: Oxford University Press, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Azzouni, Jody. Tracking reason: Proof, consequence, and truth. New York, NY: Oxford University Press, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Stillwell, John. Roads to infinity: The mathematics of truth and proof. Natick, Mass: A K Peters, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

service), SpringerLink (Online, ed. Hybrid Logic and its Proof-Theory. Dordrecht: Springer Science+Business Media B.V., 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

Perminov, V. I︠A︡. Razvitie predstavleniĭ o nadëzhnosti matematicheskogo dokazatelʹstva. Moskva: Izd-vo Moskovskogo universiteta, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

service), SpringerLink (Online, ed. The Proof is in the Pudding: The Changing Nature of Mathematical Proof. New York, NY: Springer Science+Business Media, LLC, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

The semantics and proof theory of the logic of bunched implications. Dordrecht: Kluwer Academic Publishers, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Stachniak, Zbigniew. Resolution Proof Systems: An Algebraic Theory. Dordrecht: Springer Netherlands, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Andrews, Peter B. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Dordrecht: Springer Netherlands, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

service), SpringerLink (Online, ed. Proof Theory: The First Step into Impredicativity. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Roberts, Charles E. Introduction to mathematical proofs: A transition. Boca Raton: Chapman & Hall/CRC, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

1942-, Schwichtenberg Helmut, Steinbrüggen Ralf, and North Atlantic Treaty Organization. Scientific Affairs Division, eds. Proof and system-reliability. Dordrecht: Kluwer Academic Publishers, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

An introduction to mathematical logic and type theory: To truth through proof. Orlando: Academic Press, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

An introduction to mathematical logic and type theory: To truth through proof. 2nd ed. Dordrecht: Kluwer Academic Publishers, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

Karren, Schultz-Ferrell, ed. Introduction to reasoning and proof: Grades 6-8. Portsmouth, NH: Heinemann, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Pozzato, Gian Luca. Conditional and preferential logics: Proof methods and theorem proving. Amsterdam: IOS Press, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Lincoln, Patrick. Computational aspects of linear logic. Cambridge, MA: MIT Press, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Gasser, James. Essai sur la nature et les critères de la preuve. Cousset (Fribourg): Éditions DelVal, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Wagner, Roy. S(zp, zp): Post-structural readings of Gödel's proof. Milano: Polimetrica, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 5th ed. Hoboken, NJ: Wiley, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

Fundamentals of mathematics: An introduction to proofs, logic, sets, and numbers. Hoboken: Wiley, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

G, Gottlob, Leitsch Alexander 1952-, Mundici Daniele 1946-, and Kurt Gödel Society, eds. Computational logic and proof theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings. Berlin: Springer, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 4th ed. Hoboken, NJ: John Wiley & Sons, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 2nd ed. New York: Wiley, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 3rd ed. New York: Wiley, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 5th ed. Hoboken, NJ: Wiley, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

Solow, Daniel. How to read and do proofs: An introduction to mathematical thought processes. 4th ed. Hoboken, N.J: John Wiley, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

Gerstein, Larry J. Introduction to Mathematical Structures and Proofs. 2nd ed. New York, NY: Springer New York, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Frege's notations: What they are and how they mean. Houndmills, Basingstoke, Hampshire: Palgrave Macmillan, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

A first course in logic: An introduction to model theory, proof theory, computability, and complexity. Oxford: Oxford University Press, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

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

43

A framework for priority arguments. New York: Cambridge University Press, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

Priest, Graham. An Introduction to Non-Classical Logic: From If to Is. 2nd ed. Leiden: Cambridge University Press, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic). Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings. Berlin: Springer-Verlag, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

Hinkis, Arie. Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion. Basel: Springer Basel, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

Schultz-Ferrell, Karren. Introduction to reasoning and proof. Portsmouth, NH: Heinemann, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

1943-, Hammond Brenda, and Robles Josepha, eds. Introduction to reasoning and proof. Portsmouth, NH: Heinemann, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

Mathematical Thinking and Writing: A Transition to Advanced Mathematics. Academic Press, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

Maddox, Randall. Mathematical Thinking and Writing: A Transition to Advanced Mathematics. Academic Press, 2001.

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!