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
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
Stock Image
Proof, Logic and Formalization
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580181943
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.48
£ 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
£ 168.51
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 3 available
Stock Image
Proof, Logic and Formalization
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780415023351