Bibliography

Bibliography

Ast10

Louis Astorino. Styles of proofs. 2010. URL: https://www.arlingtonschools.org/cms/lib/NY02215626/Centricity/Domain/4295/Styles-of-Proofs_1.pdf (visited on 2023-08-14).

Bau10

Andrej Bauer. Mathematics and Computation | Proof of negation and proof by contradiction. March 2010. URL: https://math.andrej.com/2010/03/29/proof-of-negation-and-proof-by-contradiction/ (visited on 2023-10-12).

CH01

Catherine Cavagnaro and William T. Haight, editors. Dictionary of Classical and Theoretical Mathematics. CRC Press, 2001. ISBN ISBN 1-58488-050-3 (alk. paper).

Coo09

Roy T. Cook. A Dictionary of Philosophical Logic. Edinburgh University Press, 2009. ISBN 978-0-7486-2559-8.

CCM14

Irving M. Copi, Carl Cohen, and Kenneth MacMahon. Introduction to Logic. Pearson Custom Library. Pearson Education Limited, Harlow, 14 ed., pearson new international ed edition, 2014. ISBN 978-1-292-02482-0.

Dow09

Douglas Downing. Dictionary of Mathematics Terms - 3rd Edition. Barron's professional guides. Barron's, 3rd ed edition, 2009. ISBN ISBN-13: 978-0-7641-4139-3 ISBN-10: 0-7641-4139-2 Library of Congress Control Number: 2008931689.

MGZ21

Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford University PressOxford, 1 edition, 2021. doi:10.1093/oso/9780192895936.001.0001.

MS13

Faron Moller and Georg Struth. Modelling Computing Systems. Undergraduate Topics in Computer Science. Springer London, 2013. ISBN 978-1-84800-321-7 978-1-84800-322-4. doi:10.1007/978-1-84800-322-4.

PLVH08

Bruce Porter, Vladimir Lifschitz, and Frank Van Harmelen, editors. Handbook of Knowledge Representation. Foundations of Artificial Intelligence. Elsevier, Amsterdam ; Boston, 1st ed edition, 2008.

Tao06

Terence Tao. Analysis I. Texts and Readings in Mathematics. Hindustan Book Agency, 2006. ISBN ISBN 81-85931-62-3.

TS00

A. S. Troelstra and Helmut Schwichtenberg. Basic Proof Theory. Number 43 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 2nd ed edition, 2000. ISBN 978-0-521-77911-1.

War18

Steve Warner. Pure Mathematics for Beginners: A Rigorous Introduction to Logic, Set Theory, Abstract Algebra, Number Theory, Real Analysis, Topology, Complex Analysis, and Linear Algebra. Get 800 (September 25, 2018), 2018. ISBN ISBN-10 9780999811757 ISBN-13 978-0999811757.

EncyclopediaoMathematics20

Encyclopedia of Mathematics. Axiomatic method - encyclopedia of mathematics. 2020. URL: http://encyclopediaofmath.org/index.php?title=Axiomatic_method&oldid=45531 (visited on 2023-09-23).

McAdams14

David E. McAdams. All Math Words Dictionary - Second Edition. Life Is a Story Problem LLC, 2014.

nLab17

nLab. Refutation by contradiction - nLab. May 2017. URL: https://ncatlab.org/nlab/show/refutation+by+contradiction (visited on 2023-06-11).

ProofWiki22a

ProofWiki. Double negation / double negation introduction / proof rule. September 2022. URL: https://proofwiki.org/wiki/Double_Negation/Double_Negation_Introduction/Proof_Rule (visited on 2023-08-21).

ProofWiki22b

ProofWiki. Rule of conjunction - proofwiki. June 2022. URL: https://proofwiki.org/wiki/Rule_of_Conjunction (visited on 2023-08-22).