Picture 1 of 1

Stock photo

Edward Hermann Haeusler Why is this a Proof? (Paperback) (UK IMPORT) - Picture 1 of 1

Why Is This a Proof? by Wagner De Campos Sanz (2015, Trade Paperback)

Rarewaves (622636)

97.7% positive feedback

Price:

US $26.74

ApproximatelyRM 115.40

+ $3.99 shipping

Estimated delivery Wed, 14 May - Mon, 19 May

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Brand New

About this product

Product Identifiers

PublisherCollege Publications

ISBN-101848901720

ISBN-139781848901728

eBay Product ID (ePID)222710757

Product Key Features

Number of Pages246 Pages

LanguageEnglish

Publication NameWhy Is this a Proof?

SubjectComputer Science, Logic

Publication Year2015

TypeTextbook

Subject AreaMathematics, Computers

AuthorWagner De Campos Sanz

FormatTrade Paperback

Dimensions

Item Height0.5 in

Item Weight12.4 Oz

Item Length9.2 in

Item Width6.1 in

Additional Product Features

Intended AudienceTrade

IllustratedYes

SynopsisThis volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira's intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne's thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos' formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.