Logic

Originally published in 1981, this collection of 33 research papers follows from a conference on the interwoven themes of finite Desarguesian spaces, Steiner systems, coding theory, group theory, block designs, generalized quadrangles, and projective...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781623157104Author Michael WitheyFormat PaperbackPage Count 200Imprint Callisto Media Inc.Publisher Callisto Media Inc.

Logic is the backbone of Western civilization, holding together its systems of philosophy, science and law. Yet despite logic's widely acknowledged importance, it remains an unbroken seal for many, due to its heavy use of jargon and mathematical...

String diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and...

Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Goedel's famous incompleteness theorem. Propositional and...

In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781541672499Author Eugenia ChengFormat PaperbackPage Count 320Imprint Basic BooksPublisher Basic BooksWeight(grams) 327gDimensions(mm) 210mm * 140mm * 20mm

This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to categorize, identify, and explain (at the student's level) the...

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)...

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)...

Challenge yourself at home with word and number puzzles A mental workout to rival Su Doku! Dozens of compelling and addictive maths puzzles to challenge your mental arithmetic, multiplication skills and...

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...