Science and Technics / Science / Mathematics / Logic

Best Selling

icon Subscribe to feed


New & Noteworthy

Best Selling

New Releases



English (49)

French (0)

German (0)

Spanish (0)

Italian (5)



Delete Logic



Adult (49)



All (49)

DRM Free (1)

DRM (48)

More options

Popular Lectures on Mathematical Logic

by Hao Wang

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

Applications of Model Theory to Functional Analysis

by Jose Iovino

During the last two decades, methods that originated within mathematical logic have exhibited powerful applications to Banach space theory, particularly set theory and model theory. This volume constitutes the...

A Beginner's Guide to Mathematical Logic

by Raymond M. Smullyan

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master....

Elementary Induction on Abstract Structures

by Yiannis N. Moschovakis

Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability...

Four Lives: A Celebration of Raymond Smullyan

by Jason Rosenhouse & Raymond M. Smullyan

This "best of" collection of works by Raymond Smullyan features logic puzzles, musings on mathematical logic and paradoxes, chess problems, and thoughts on the philosophy of religion, plus personal tributes...

What Is Mathematical Logic?

by J. N. Crossley, C.J. Ash, C.J. Brickhill & J.C. Stillwell

A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg,...

Introduction to Symbolic Logic and Its Applications

by Rudolf Carnap

A clear, comprehensive, and rigorous treatment develops the subject from elementary concepts to the construction and analysis of relatively complex logical languages. It then considers the application of symbolic...

Model Theory: Third Edition

by C.C. Chang & H. Jerome Keisler

This bestselling textbook for higher-level courses was extensively revised in 1990 to accommodate developments in model theoretic methods. Topics include models constructed from constants, ultraproducts, and...

Topos Theory

by P.T. Johnstone

Focusing on topos theory's integration of geometric and logical ideas into the foundations of mathematics and theoretical computer science, this volume explores internal category theory, topologies and sheaves,...

First Course in Mathematical Logic

by Patrick Suppes & Shirley Hill

Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers;...

Playing with Infinity

by Rózsa Péter

Popular account ranges from counting to mathematical logic and covers many concepts related to infinity: graphic representation of functions; pairings, other combinations; prime numbers; logarithms, circular...

Mathematics and the Imagination

by Edward Kasner & James Newman

With wit and clarity, the authors progress from simple arithmetic to calculus and non-Euclidean geometry. Their subjects: geometry, plane and fancy; puzzles that made mathematical history; tantalizing paradoxes;...

Introduction to Logic: and to the Methodology of Deductive Sciences

by Alfred Tarski

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear...

The Axiom of Choice

by Thomas J. Jech

Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of...

Topoi: The Categorial Analysis of Logic

by Robert Goldblatt

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically...

Studies in Logic and Probability

by George Boole

Authoritative compilation ranges from The Mathematical Analysis of Logic to the end of Boole's career. Includes The Laws of Thought, plus incomplete studies intended for a follow-up volume. 1952 edition.

Introduction to Formal Languages

by György E. Révész

Covers all areas, including operations on languages, context-sensitive languages, automata, decidability, syntax analysis, derivation languages, and more. Numerous worked examples, problem exercises, and elegant...

Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics

by Friedrich Waismann

Examinations of arithmetic, geometry, and theory of integers; rational and natural numbers; complete induction; limit and point of accumulation; remarkable curves; complex and hypercomplex numbers; more. Includes...

The Logic of Chance

by John Venn

No mathematical background is necessary to appreciate this classic of probability theory, which remains unsurpassed in its clarity and readability. It explores physical foundations, logical superstructure, and...

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

by Kurt Gödel

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction...