Synopsis
The mathematical proof is the most important form of justification in mathematics. It is not, however, the only kind of justification for mathematical propositions. The existence of other forms, some of very significant strength, places a question mark over the prominence given to proof within mathematics. This collection of essays, by leading figures working within the philosophy of mathematics, is a response to the challenge of understanding the nature and role of the proof.
"synopsis" may belong to another edition of this title.
About the Author
Michael Detlefsen (Edited by)
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Proof, Logic and Formalization
Stock Image
Proof, Logic and Formalization
Published by
Routledge, 1992
ISBN 10: 0415023351
ISBN 13: 9780415023351
Used
Hardcover
First Edition
Seller: The Bookseller, Edmonton, AB, Canada
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: Very Good. 1st Edition. Minor shelf wear to book and dust jacket. Otherwise a tight, unmarked book. Index. x, 241 pp. Seller Inventory # 045754
Stock Image
Proof, Logic and Formalization
Seller: Open Books, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books. Seller Inventory # mon0000846077
Stock Image
Proof, Logic and Formalization
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Seller Inventory # P1-9780415023351
Buy Used
£ 146.10
£ 4.16 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Proof, Logic and Formalization
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1844177-n
Buy New
£ 137.88
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Proof, Logic and Formalization
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780415023351
Buy New
£ 137.89
£ 15.75 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 5 available
Stock Image
Proof, Logic and Formalization
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-TNFPD-9780415023351
Buy New
£ 142.70
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 5 available
Seller Image
Proof, Logic and Formalization
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1844177-n
Seller Image
Proof, Logic and Formalization
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1844177
Seller Image
Proof, Logic and Formalization
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1844177
Buy Used
£ 158.58
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Proof, Logic and Formalization
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 252 44:B&W 5.5 x 8.5 in or 216 x 140 mm (Demy 8vo) Case Laminate on Creme w/Gloss Lam This item is printed on demand. Seller Inventory # 7541465
Buy New
£ 172.86
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 3 available