search for books and compare prices
MATHEMATICS / Logic matches 1412 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780091518301 Cover for 9789814719834 Cover for 9780691154633 Cover for 9780691173375 Cover for 9780486809038 Cover for 9783319305257 Cover for 9789814730396 Cover for 9781107077881 Cover for 9789814730846 Cover for 9780525955221 Cover for 9781524702526 Cover for 9780486796864 Cover for 9789814723671 Cover for 9789814723688 Cover for 9783319318011 Cover for 9780198778592 Cover for 9781786340290 Cover for 9781786340306 Cover for 9783319387963 Cover for 9789814719957 Cover for 9789814719964 Cover for 9781107120327 Cover for 9783319297866 Cover for 9783319315003 Cover for 9789814730990 Cover for 9789814725729 Cover for 9783319291963 Cover for 9783319335995
cover image for 9780091518301
By Wilfried Sieg (editor)

Hardcover:

9780091518301, titled "How to Manage People" | Business Books, June 1, 1984, cover price $19.95 | also contains How to Manage People

cover image for 9780691173375
An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted.Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the written names of numerals. Mazur also investigates the subconscious and psychological effects that mathematical symbols have had on mathematical thought, moods, meaning, communication, and comprehension. He considers how these symbols influence us (through similarity, association, identity, resemblance, and repeated imagery), how they lead to new ideas by subconscious associations, how they make connections between experience and the unknown, and how they contribute to the communication of basic mathematics.From words to abbreviations to symbols, this book shows how math evolved to the familiar forms we use today.

Hardcover:

9780691154633 | Princeton Univ Pr, March 23, 2014, cover price $29.95 | About this edition: An entertaining look at the origins of mathematical symbolsWhile all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century.

Paperback:

9780691173375 | Reprint edition (Princeton Univ Pr, November 29, 2016), cover price $19.95

cover image for 9780486809038

Paperback:

9780486809038 | Dover Pubns, November 16, 2016, cover price $29.95

cover image for 9783319305257
By Tommaso Bertolotti (editor)

Hardcover:

9783319305257 | Springer-Verlag New York Inc, November 8, 2016, cover price $299.00

cover image for 9781107077881
Product Description: Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts. This volume offers new essays on the theories about the logical modalities (necessity and possibility) held by leading philosophers from Aristotle in ancient Greece to Rudolf Carnap in the twentieth century...read more
By Adriane Rini (editor)

Hardcover:

9781107077881 | Cambridge Univ Pr, October 22, 2016, cover price $99.99 | About this edition: Interest in the metaphysics and logic of possible worlds goes back at least as far as Aristotle, but few books address the history of these important concepts.

cover image for 9780525955221

Hardcover:

9780525955221 | E P Dutton, September 6, 2016, cover price $28.00

CD/Spoken Word:

9781524702526 | Unabridged edition (Penguin/Highbridge, September 6, 2016), cover price $40.00

cover image for 9780486796864
By Martin Gardner (editor)

Paperback:

9780486796864 | Dover Pubns, August 17, 2016, cover price $14.95

cover image for 9789814723671
Product Description: "The book is divided into 8-10 chapters that are each only 2 or 3 pages long … this feels like a nice feature of the book, since you can dip in and just read a short bite before moving on. The author clearly has some interesting ideas and at times I found his writing to be quite engaging...read more

Hardcover:

9789814723671 | World Scientific Pub Co Inc, August 7, 2016, cover price $58.00 | About this edition: "The book is divided into 8-10 chapters that are each only 2 or 3 pages long … this feels like a nice feature of the book, since you can dip in and just read a short bite before moving on.

Paperback:

9789814723688 | Reprint edition (World Scientific Pub Co Inc, August 7, 2016), cover price $28.00 | About this edition: "The book is divided into 8-10 chapters that are each only 2 or 3 pages long .

cover image for 9781786340290
By Frank Smith (editor)

Hardcover:

9781786340290 | World Scientific Pub Co Inc, July 20, 2016, cover price $75.00

Paperback:

9781786340306 | Reprint edition (World Scientific Pub Co Inc, July 20, 2016), cover price $38.00

cover image for 9789814719957
Product Description: This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students. Starting with the basics of set theory, induction and computability, it covers propositional and first order logic their syntax, reasoning systems and semantics...read more

Hardcover:

9789814719957 | World Scientific Pub Co Inc, June 30, 2016, cover price $85.00 | About this edition: This is a systematic and well-paced introduction to mathematical logic.

Paperback:

9789814719964 | World Scientific Pub Co Inc, June 30, 2016, cover price $48.00 | About this edition: This is a systematic and well-paced introduction to mathematical logic.

cover image for 9781107120327
Product Description: Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics. One could say that set theory is a unifying theory for mathematics, since nearly all mathematical concepts and results can be formalized within set theory...read more

Hardcover:

9781107120327 | Cambridge Univ Pr, June 30, 2016, cover price $60.00 | About this edition: Set theory is a rich and beautiful subject whose fundamental concepts permeate virtually every branch of mathematics.

cover image for 9783319297866
Product Description: An introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions and classes of ordered sets. Using a thematic approach, the author presents open or recently solved problems to motivate the development of constructions and investigations for new classes of ordered sets...read more

Hardcover:

9783319297866 | 2 edition (Birkhauser, June 12, 2016), cover price $79.99 | About this edition: An introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, important order-theoretical constructions and classes of ordered sets.

By Katalin Bimbo (editor)

Hardcover:

9783319292984 | Springer Verlag, April 11, 2016, cover price $129.00

cover image for 9783319315003
Product Description: This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic...read more
By Thomas M�ller (editor)

Hardcover:

9783319315003 | Birkhauser, July 12, 2016, cover price $139.00 | About this edition: This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China.

Product Description: This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics. Perfect for graduate or PhD mathematical-science students looking for help in understanding the fundamentals of the topic, it also explores more specific areas such as invariant theory of finite groups, model theory, and enumerative combinatorics...read more
By Frank Smith (editor)

Hardcover:

9781783268191 | Imperial College Pr, May 31, 2015, cover price $75.00

Paperback:

9781783268207 | Imperial College Pr, May 31, 2016, cover price $38.00 | About this edition: This book leads readers from a basic foundation to an advanced level understanding of algebra, logic and combinatorics.

cover image for 9789814730990
Product Description: This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results...read more

Hardcover:

9789814730990 | World Scientific Pub Co Inc, May 29, 2016, cover price $58.00 | About this edition: This book is a sequel to my Beginner's Guide to Mathematical Logic.

cover image for 9789814725729
Product Description: This is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan. This book is a sequel to my Beginner's Guide to Mathematical Logic. The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results...read more

Paperback:

9789814725729 | World Scientific Pub Co Inc, May 29, 2016, cover price $24.00 | About this edition: This is the final book written by the late great puzzle master and logician, Dr.

cover image for 9783319291963
Product Description: The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations...read more
By Thomas Studer (editor)

Hardcover:

9783319291963 | Birkhauser, April 28, 2016, cover price $109.00 | About this edition: The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.

cover image for 9783319335995
Product Description: This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions...read more
By Miklos Biro (editor)

Paperback:

9783319335995 | Springer Verlag, May 31, 2016, cover price $94.00 | About this edition: This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016.

at beginning | displaying 1 to 25 | next 25 >