Book Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & OnlineBook Haul is Back! 50% Off Hundreds of Hardcovers And More Deals Shop Now In Stores & Online
Add Item to wish listAdd Item to wish list
Read sample

Concepts of Proof in Mathematics, Philosophy, and Computer Science

By Dieter Probst (Editor), Peter Schuster (Editor)
eBook
$230.00
By Dieter Probst (Editor), Peter Schuster (Editor)
Formats

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer scienc...

Categories

Science & TechnologyPhilosophyMathematicsMajor Branches of Philosophical StudyMathematics - General & MiscellaneousLogic & Foundations of MathematicsEpistemology (Theory of Knowledge)Logic