Logic 39

Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appeared in journals from 1954 to 1959. Cove……続きを見る

This third edition of a popular, well-received text offers undergraduates an opportunity to obtain an overview of the historical roots and the evolution of several areas of mathematics. The selectio……続きを見る

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

"The text is well written and easy to read. A great tool for any person interested in learning relations between functional analysis and model theory." ー MathSciNet During the last two decades, met……続きを見る

Mathematical induction ー along with its equivalents, complete induction and well-ordering, and its immediate consequence, the pigeonhole principle ー constitute essential proof techniques. Every ma……続きを見る

Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathemat……続きを見る

Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors i……続きを見る

This introductory treatment covers the basic concepts and machinery of stability theory. Lemmas, corollaries, proofs, and notes assist readers in working through and understanding the material and a……続きを見る

From one of the founders of symbolic logic comes this collection of writings on logical subjects and related questions of probability. George Boole invented Boolean logic, the basis of modern digita……続きを見る

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

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logi……続きを見る

This popular account of the many mathematical concepts relating to infinity is one of the best introductions to this subject and to the entire field of mathematics. Dividing her book into three part……続きを見る

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-conta……続きを見る

In modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underde……続きを見る

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 one of the clearest, most comprehensive and rigorous introductions to modern symbolic logic available in any language. Professor Carnap, a world authority on symbolic logic, develops th……続きを見る

Written by the nineteenth-century French philosophical founder of positivism, this comprehensive map of mathematical science assigns to each part of the complex whole its true position and value. Th……続きを見る

This enlightening survey of mathematical concept formation holds a natural appeal to philosophically minded readers, and no formal training in mathematics is necessary to appreciate its clear exposi……続きを見る

No mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity, readability, and sheer charm. Its author, British logician John Ve……続きを見る

First published in Polish in 1936, this classic work was originally written as a popular scientific book ー one that would present to the educated lay reader a clear picture of certain powerful tren……続きを見る

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

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

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 classic by one of the twentieth century's most prominent mathematicians offers a concise introduction to set theory. Suitable for advanced undergraduates and graduate students in mathematics, i……続きを見る

"The book is extremely pleasant to read, with masterfully crafted exercises and examples that create a beautiful and unique thread of presentation leading the reader safely into the wonderfully rich……続きを見る

Model theory deals with a branch of mathematical logic showing connections between a formal language and its interpretations or models. This is the first and most successful textbook in logical mode……続きを見る

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 primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize the elements that constitute an acceptable proof, and it develops their……続きを見る

A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and……続きを見る

For two decades, self-taught mathematician Henry E. Dudeney wrote a puzzle page, "Perplexities," for The Strand Magazine. Martin Gardner, longtime editor of Scientific American's mathematical games ……続きを見る