Set Theory

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. The...

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486458465Author H.G. EgglestonFormat PaperbackPage Count 165Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

Kurt Goedel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein's general relativity, as he...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781951619022Author Steve WarnerFormat PaperbackPage Count 106Imprint Get 800Publisher Get 800Weight(grams) 263gDimensions(mm) 279mm * 216mm * 6mm

An Introduction to Mathematical Proofs presents fundamental material on logic, proof methods, set theory, number theory, relations, functions, cardinality, and the real number system. The text uses a methodical, detailed, and highly structured approach...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780486453101Author Joseph BreuerFormat PaperbackPage Count 128Imprint Dover Publications Inc.Publisher Dover Publications Inc.Weight(grams)...

The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan's knowledge of the game. The puzzles are solved by reasoning from the rules of...

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic.This popular text offers a firm mathematical basis for the...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780989897518Author Judith RoitmanFormat PaperbackPage Count 220Imprint Orthogonal Publishing L3cPublisher Orthogonal Publishing L3cWeight(grams)...

This book casts new light on mathematics through its consideration of metaphysical materialism. The author identifies natural, real and imaginary numbers and sets with specified physical properties and relations. However sets are construed numbers are...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9780674289680Author Edward V HuntingtonFormat HardbackPage Count 92Imprint Harvard University PressPublisher Harvard University PressWeight(grams) 308g

Set theory is concerned with the foundation of mathematics. In the original formulations of set theory, there were paradoxes contained in the idea of the "set of all sets". Current standard theory (Zermelo-Fraenkel) avoids these paradoxes by restricting...

Classical and Fuzzy Concepts in Mathematical Logic and Applications provides a broad, thorough coverage of the fundamentals of two-valued logic, multivalued logic, and fuzzy logic. Exploring the parallels between classical and fuzzy mathematical logic,...

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781951619084Author Steve WarnerFormat PaperbackPage Count 188Imprint Get 800 LLCPublisher Get 800 LLCWeight(grams) 449gDimensions(mm) 279mm * 216mm * 10mm

This book has two chapters. The first is a modern or contemporary account of stability theory. A focus is on the local (formula-by-formula) theory, treated a little differently from in the author's book Geometric Stability Theory. There is also a survey...

Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781774641828Author Paul R HalmosFormat PaperbackPage Count 114Imprint Must Have BooksPublisher Must Have BooksWeight(grams) 152g

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic. Nearly every branch of Mathematics depends upon set theory, and thus, knowledge of set theory is of interest to every mathematician...

Beyond calculus, the world of mathematics grows increasingly abstract and places new and challenging demands on those venturing into that realm. As the focus of calculus instruction has become increasingly computational, it leaves many students ill...

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis. The drawback to such...

The authors have written an introduction to logic taking Goedel's incompleteness theorem as a starting point. The book should interest everyone from mathematicians to philosophers and readers who wish to understand the foundations and limitations of...

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 2015. This special collection reports on important and...

A First Course in Fuzzy Logic, Fourth Edition is an expanded version of the successful third edition. It provides a comprehensive introduction to the theory and applications of fuzzy logic. This popular text offers a firm mathematical basis for the...

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds...

This volume presents some exciting new developments occurring on the interface between set theory and computability as well as their applications in algebra, analysis and topology. These include effective versions of Borel equivalence, Borel reducibility...

This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous...

In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G. Downey, Zoe Chatzidakis, and Paola D'Aquino as visiting lecturers. Each of them presented a month long series of expository lectures at the graduate level. The articles in this...

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an...

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the...

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis. The drawback to such...

A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds...

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Goedel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Goedel...

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and...

Computability theory originated with the seminal work of Goedel, Church, Turing, Kleene and Post in the 1930s. This theory includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets...

The Art of Proving Binomial Identities accomplishes two goals: (1) It provides a unified treatment of the binomial coefficients, and (2) Brings together much of the undergraduate mathematics curriculum via one theme (the binomial coefficients). The...

This book provides an introduction to mathematical logic and the foundations of mathematics. It will help prepare students for advanced study in set theory and mathematical logic as well as other areas of mathematics, such as analysis, topology, and...

Contemporary students of mathematics differ considerably from those of half a century ago. In spite of this, many textbooks written and now considered to be “classics” decades ago are still prescribed for students today. These texts are not suitable for...

Naive Set Theory: A Rigorous Approach aims to provide a complete and unitary presentation of naive set theory as the foundation of the whole mathematics. Suitable for undergraduate students, this book focuses on the main foundational issues, trying to...