Y.A - Logic 1

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 book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in th……続きを見る

Forever Undecided is the most challenging yet of Raymond Smullyan’s puzzle collections. It is, at the same time, an introductionーingenious, instructive, entertainingーto Gödel’s famous theorems. Wi……続きを見る

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing……続きを見る

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecida……続きを見る

'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.' The Mathematical Gazette This is the final book written by the late great puzzle master ……続きを見る

The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 201……続きを見る

Although several books cover the coding theory of wireless communications and the hardware technologies and coding techniques of optical CDMA, no book has been specifically dedicated to optical codi……続きを見る

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet He……続きを見る

"Fallacies in Logic and Their Applications" is a must-read for anyone seeking to master the art of logical thinking. This book dives deep into the world of fallacy, exploring the intricacies of form……続きを見る

This book focuses on Robert Rosen’s contributions to relational system theory, which is the science of organization and function. This science was originally developed by Nicolas Rashevsky, and furt……続きを見る

Kenneth J. Arrow's pathbreaking "impossibility theorem" was a watershed innovation in the history of welfare economics, voting theory, and collective choice, demonstrating that there is no voting ru……続きを見る

These brand-new recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidabilit……続きを見る

This "best of" collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis c……続きを見る

Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic a……続きを見る

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set……続きを見る

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other discipline……続きを見る

When ordinary people--mathematicians among them--take something to follow (deductively) from something else, they are exposing the backbone of our self-ascribed ability to reason. Jody Azzouni inves……続きを見る

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the ve……続きを見る

In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also beh……続きを見る

Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution ー moreover, one that requires a chain of l……続きを見る

This is an exciting if not rambling account of events of Raymond Smullyan's four lives ー as a mathematical logician, musician, magician, and author ー together with thoughts that come to his mind a……続きを見る

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics……続きを見る

AN INDISPENSABLE RESOURCE FOR ALL THOSE WHO DESIGN AND IMPLEMENT TYPE-1 AND TYPE-2 FUZZY NEURAL NETWORKS IN REAL TIME SYSTEMS Delve into the type-2 fuzzy logic systems and become engrossed in the pa……続きを見る

Turkey recipes :50 delious Recipes for Thanksgiving 続きを見る

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brie……続きを見る

Although cryptography plays an essential part in most modern solutions, especially in payments, cryptographic algorithms remain a black box for most users of these tools. Just as a sane backend deve……続きを見る

Die Schulmathematik vermittelt meist nur einen sehr eingeschränkten Einblick in die beweisorientierte und axiomatisch aufgebaute moderne Mathematik – Studienanfänger werden daher oft unvorbereitet v……続きを見る

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