Logic

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and how they work. The book offers techniques for both reading and writing proofs, discusses techniques in proving if/then...

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and...

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original...

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.Reviews"...providing professionals and students with a...

Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern mathematics; but since it lies on the frontiers of algebra, geometry, general...

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and...

How a computational framework can account for the successes and failures of human cognitionAt the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848903616Author Roman KossakFormat PaperbackPage Count 152Imprint College PublicationsPublisher College PublicationsWeight(grams) 222gDimensions(mm)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780452287839Author Joseph MazurFormat PaperbackPage Count 352Imprint PlumePublisher Penguin Putnam IncWeight(grams) 330g

Lateral Solutions to Mathematical Problems offers a fresh approach to mathematical problem solving via lateral thinking. Lateral thinking has long been used informally by good mathematics teachers and lecturers to spice up their material and interest...

The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486497853Author Hodel HodelFormat PaperbackPage Count 512Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams) 644gDimensions(mm)...

This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486488219Author C C ChangFormat PaperbackPage Count 672Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams) 960gDimensions(mm)...

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the...

A perennial bestseller by eminent mathematician G. Polya, How to Solve It will show anyone in any field how to think straight. In lucid and appealing prose, Polya reveals how the mathematical method of demonstrating a proof or finding an unknown can be...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848900516Author Hartley SlaterFormat PaperbackPage Count 148Imprint College PublicationsPublisher College PublicationsWeight(grams) 218gDimensions(mm)...

Logical paradoxes - like the Liar, Russell's, and the Sorites - are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the...

An accessible explanation of Kurt Goedel's groundbreaking work in mathematical logic In 1931 Kurt Goedel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789657679258Author Griddlers TeamFormat PaperbackPage Count 42Imprint Griddlers.NetPublisher Griddlers.NetWeight(grams) 104gDimensions(mm) 254mm * 203mm *...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781848902251Author D M GabbayFormat PaperbackPage Count 364Imprint College PublicationsPublisher College PublicationsWeight(grams) 508gDimensions(mm) 234mm...

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486466248Author Thomas J JechFormat PaperbackPage Count 224Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486450186Author Joel W RobbinFormat PaperbackPage Count 224Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structuresReviewsFrom the reviews: ...

Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure...

The global biodiversity crisis is one of humanity's most urgent problems, but even quantifying biological diversity is a difficult mathematical and conceptual challenge. This book brings new mathematical rigour to the ongoing debate. It was born of...

The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486488417Author Gregory H MooreFormat PaperbackPage Count 448Imprint Dover Publications Inc.Publisher Dover Publications Inc.

Sorry no description is available for this book at this time.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and...

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it...

This short textbook provides a succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. It will be suitable for all mathematics undergraduates coming to the subject for...

Quiz your family at home with crosswords, puzzles and games. Stretch your powers of logical deduction with these 200 new Su Doku puzzles, in easy, medium and difficult categories. Keep your mind sharp and test your powers of...

This text is the fifth and final in the series of educational books written by Israel Gelfand with his colleagues for high school students. These books cover the basics of mathematics in a clear and simple format - the style Gelfand was known for...

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486614717Author Martin DavisFormat PaperbackPage Count 288Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern...

Quiz your family at home with crosswords, puzzles and games. To feed the nation's addiction further, here is the sixth instalment of The Times Su Doku puzzles. Now with even more puzzles for the hardened Su Doku addict, The Times Su...

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can...