Picture 1 of 1
Dieter Probst Concepts of Proof in Mathematics, Philosophy, and Compu (Hardback)
Another great item from Rarewaves USA | Free delivery!
Condition:
More than 10 available
Postage:
Located in: 60502, United States
Delivery:
Varies
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 97.8% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:335266412542
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Book Title
- Concepts of Proof in Mathematics, Philosophy, and Computer Scienc
- Publication Name
- concepts of Proof in Mathematics, Philosophy, and Computer Science
- Title
- Concepts of Proof in Mathematics, Philosophy, and Computer Scienc
- Contributor
- Peter Schuster (Edited by)
- Format
- Hardcover
- ISBN-10
- 1501510800
- EAN
- 9781501510809
- ISBN
- 9781501510809
- Publisher
- DE Gruyter, Inc.
- Genre
- Philosophy & Spirituality
- Release Date
- 25/07/2016
- Release Year
- 2016
- Country/Region of Manufacture
- US
- Item Height
- 230mm
- Item Length
- 9.1in
- Item Weight
- 24.1 Oz
- Series
- Ontos Mathematical Logic Ser.
- Language
- English
- Publication Year
- 2016
- Type
- Textbook
- Item Width
- 6.1in
- Number of Pages
- 384 Pages
About this product
Product Information
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 science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.
Product Identifiers
Publisher
DE Gruyter, Inc.
ISBN-10
1501510800
ISBN-13
9781501510809
eBay Product ID (ePID)
212052592
Product Key Features
Publication Name
concepts of Proof in Mathematics, Philosophy, and Computer Science
Format
Hardcover
Language
English
Publication Year
2016
Series
Ontos Mathematical Logic Ser.
Type
Textbook
Number of Pages
384 Pages
Dimensions
Item Length
9.1in
Item Width
6.1in
Item Weight
24.1 Oz
Additional Product Features
Series Volume Number
6
Lc Classification Number
Qa9.54
Grade from
College Graduate Student
Grade to
College Graduate Student
Copyright Date
2016
Topic
History & Philosophy, Epistemology, Logic
Lccn
2016-030276
Dewey Decimal
511.36
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Mathematics, Philosophy
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:335266412542
Postage and handling
Item does not ship to United States
Item location:
60502, United States
Post to:
Albania, Algeria, American Samoa, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bolivia, Bosnia and Herzegovina, Botswana, British Virgin Islands, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, Gabon Republic, Gambia, Georgia, Ghana, Gibraltar, Greece, Greenland, Grenada, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Marshall Islands, Mauritania, Mauritius, Mayotte, Micronesia, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Palau, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Puerto Rico, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Virgin Islands (U.S.), Wallis and Futuna, Western Sahara, Western Samoa, Worldwide, Zambia, Zimbabwe
Excludes:
Afghanistan, Australia, Austria, Barbados, Belarus, Bhutan, Brazil, Brunei Darussalam, France, French Guiana, French Polynesia, Germany, Guadeloupe, Ireland, Israel, Italy, Laos, Libya, Martinique, Mexico, Netherlands, New Caledonia, Reunion, Russian Federation, Spain, Switzerland, Ukraine, United Kingdom, United States, Venezuela, Yemen
Handling time |
---|
Will usually post within 7 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales Tax for an item #335266412542
Sales Tax for an item #335266412542
Seller collects sales tax for items shipped to the following states:
State | Sales Tax Rate |
---|
Return policy
After receiving the item, contact seller within |
---|
30 days after the buyer receives it |
The buyer is responsible for return postage costs.
Seller feedback (62,766)
i***u (586)- Feedback left by buyer.
Past month
Verified purchase
Excellent
0***0 (635)- Feedback left by buyer.
Past month
Verified purchase
Great Condition, and safe packaging! Nothing more could be said. You guys are awesome. 😄👍
l***m (124)- Feedback left by buyer.
Past month
Verified purchase
I got a nice copy of the item and received it on time.