{"product_id":"formal-proofs-in-maths-labros-asterios-batalas-9781514634448","title":"Formal Proofs in Maths: Book 1 First Order Algebra","description":"The scope of \u003cb\u003eFormal Proofs in Maths\u003c\/b\u003e is to teach students between higher school classes and University undergraduate or postgraduate studies, how to write a formal proof with the true meaning of the concept, of simple theorems in Algebra, particulary in identities concerning equalities, equations and inequalities. This is accomplished by writing four different types of proof namely type(A), type(B), type(C) and type(D) for each theorem or exercise. In \u003cb\u003eTYPE(A)\u003c\/b\u003e ordinary proofs will be cited in the usual narrative style used by experienced mathematicians. In \u003cb\u003eTYPE(B)\u003c\/b\u003e a rigorous proof in steps will be introduced to the reader. Each line of that proof will be justified by an appropriate axiom, theorem or definition. In \u003cb\u003eTYPE(C)\u003c\/b\u003e we will try for a smooth transition from a rigorous proof to a formal proof exposing the way that the laws of logic apply on one or more statements of the proof. In \u003cb\u003eTYPE(D)\u003c\/b\u003e we will simply write in tabular stepwise form, the results of TYPE(C) mentioning both: 1) Axioms, theorems or definitions. 2) The laws of logic. Hence, finally producing a \u003cb\u003eformal proof\u003c\/b\u003e according to the definition given in the preface note of the book.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Labros Asterios Batalas, Konstantinos Odysseas Lamogiannis, Chris Nikolas Lavranos\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1514634449\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781514634448\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Createspace Independent Publishing Platform\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/15\/2015\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 122\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.90lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 11.00h x 8.50w x 0.32d","brand":"Labros Asterios Batalas","offers":[{"title":"Paperback","offer_id":46962629116159,"sku":"9781514634448","price":35.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_56a14119-9e98-4261-844a-a1917a55fec0.jpg?v=1750652040","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-proofs-in-maths-labros-asterios-batalas-9781514634448","provider":"WR Book House","version":"1.0","type":"link"}