Logic 2

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millen……続きを見る

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third Tsinghua Interdisciplinary Workshop on Logic, Lang……続きを見る

會數學就像戴上X光的眼鏡，能從混亂無序的世界表像裡，看透其後隱藏的結構。數學是一門不會把事情搞錯的學問，它的技術與習慣經歷過多少世紀的辛勤努力與論辯。手中有了數學當工具，你可以更深刻、更穩健、更有意……続きを見る

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

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

The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction to symbolic logic, providing concise definit……続きを見る

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

Introduction to Modern Cryptography, the most relied-upon textbook in the field, provides a mathematically rigorous yet accessible treatment of this fascinating subject. The authors have kept the bo……続きを見る

They came seeking Illumination. Did they find it? Well, how would they know? What makes you think you're "enlightened"? Maybe you're one of those false awakeners. How do you know that your "enlighte……続きを見る

An approachable introduction to elementary sheaf theory and its applications beyond pure math. Sheaves are mathematical constructions concerned with passages from local properties to global ones. Th……続きを見る

This is the most comprehensive survey of the mathematical life of the legendary Paul Erdős (1913-1996), one of the most versatile and prolific mathematicians of our time. For the first time, all the……続きを見る

There's so much talk about the threat posed by intelligent machines that it sometimes seems as though we should surrender to our robot overlords. But Junaid Mubeen isn't ready to throw in the towel ……続きを見る

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security……続きを見る

A comprehensive, cutting-edge, and highly readable textbook that makes category theory and monoidal category theory accessible to students across the sciences. Category theory is a powerful framewor……続きを見る

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely……続きを見る

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

會數學就像戴上X光的眼鏡，能從混亂無序的世界表像裡，看透其後隱藏的結構。數學是一門不會把事情搞錯的學問，它的技術與習慣經歷過多少世紀的辛勤努力與論辯。手中有了數學當工具，你可以更深刻、更穩健、更有意……続きを見る

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

**"An ambitious and meticulous foray into the nature of being." -- The Boston Globe A landmark exploration of the relationship between emotion and reason** Since Descartes famously proclaimed, "I th……続きを見る

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes ma……続きを見る

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

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

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

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-dut……続きを見る

This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is t……続きを見る

Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a fr……続きを見る

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

The first major biography written for a general audience of the logician and mathematician whose Incompleteness Theorems helped launch a modern scientific revolution. Nearly a hundred years after it……続きを見る

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

conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the……続きを見る