Logic 1

Henry Ernest Dudeney (1857–1930) was an English author and mathematician who specialised in logic puzzles and mathematical games. He is known as one of the country's foremost creators of puzzles. Th……続きを見る

This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in……続きを見る

Category theory is unmatched in its ability to organize and layer abstractions and to find commonalities between structures of all sorts. No longer the exclusive preserve of pure mathematicians, it ……続きを見る

A manifesto for a mathematical revolution Forget everything you've been taught about math. In Burn Math Class, Jason Wilkes takes the traditional approach to how we learn math -- with its unwelcomin……続きを見る

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of……続きを見る

This carefully crafted ebook: "Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind" is formatted for your eReader with a functional and detailed table of contents. Lew……続きを見る

This eBook edition of "The Canterbury Puzzles and Other Curious Problems" has been formatted to the highest digital standards and adjusted for readability on all devices. Henry Ernest Dudeney (1857–……続きを見る

Going beyond current books on privacy and security, this book proposes specific solutions to public policy issues pertaining to online privacy and security. Requiring no technical or legal expertise……続きを見る

Ogni curioso dei numeri Primi, “i mattoni con cui si costruiscono tutti gli altri numeri”, sa che la ricerca di una semplice formula per “distinguere nell'ambito degli interi positivi tutti i numeri……続きを見る

The conclusion reached in "Fathoming Gödel" is that Gödel's 1931 paper is a shell game. It is based on several errors that are well camouflaged. Some shortcomings in the paper are openly admitted al……続きを見る

“Hi, Joan. What’s the book you’re reading?” “A mathematics popularization. Do you want to download it?” “Mathematics! Forget it! I hated it in school. Couldn’t understand all those symbols.” “No, no……続きを見る

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to un……続きを見る

‘I have a truly marvellous demonstration of this proposition which this margin is too narrow to contain.’ It was with these words, written in the 1630s, that Pierre de Fermat intrigued and infuriate……続きを見る

**FROM THE PRESENTER OF THE TEDx TALK '**You weren't bad at maths - you just weren't looking at it the right way' 'Compelling and wonderfully readable' - Ian Stewart, bestselling author of Seventeen……続きを見る

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/……続きを見る

The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ……続きを見る

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this concep……続きを見る

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……続きを見る

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but……続きを見る

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical ……続きを見る

The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures. Our starting point is the classical Vitali theorem ……続きを見る

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, t……続きを見る

One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students……続きを見る

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divide……続きを見る

This textbook can serve as a comprehensive manual of discrete mathematics and graph theory for non-Computer Science majors; as a reference and study aid for professionals and researchers who have no……続きを見る

You don’t have to love math to enjoy a hand of cards, a night at the casino, or a puzzle. But your pleasure and prowess at games, gambling, and other numerically related pursuits can be heightened w……続きを見る

"Tieszen’s Simply Gödel is a remarkable achievementーa handy guide with the impact of a philosophical tome. It’s all here: elegantly lucid discussions of Kurt Gödel’s epochal discoveries, a sympathe……続きを見る

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, an……続きを見る

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the m……続きを見る

This work is 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 c……続きを見る