Set Theory

A Concise Introduction to Pure Mathematics..

Designed for undergraduate students of set theory, this book presents a modern perspective of the classic work of Georg Cantor and Richard Dedekin and their immediate successors. It aims to give students a grounding to the results of set theory as well as to tackle significant problems that arise fr..

Classical and Fuzzy Concepts in Mathematical Logic and Applications explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. Specific issues examined include a discussion of propositional and predicate logic, logic netw..

Recent work in computability theory has focused on Turing definability and promises to have far-reaching mathematical, scientific, and philosophical consequences. Written by a leading researcher, this is a concise, comprehensive, and authoritative introduction to contemporary computability theory, t..

This title may be thought of as a book for nonmathematicians taking an undergraduate mathematics course. Thus, it will have minimal mathematical prerequisites and very few equations. It will be driven by examples that will lead students down new paths, and acquaint them with new paradigms of thought..

This title may be thought of as a book for nonmathematicians taking an undergraduate mathematics course. Thus, it will have minimal mathematical prerequisites and very few equations. It will be driven by examples that will lead students down new paths, and acquaint them with new paradigms of thought..

Designed for introductory parallel computing courses at the advanced undergraduate or beginning graduate level, Elements of Parallel Computing presents the fundamental concepts of parallel computing not from the point of view of hardware, but from a more abstract view of algorithmic and implementati..

Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics..

Inexhaustibility: A Non-Exhaustive Treatment..

Model theory is used to investigate mathematical structures by means of formal languages, and first-order languages have proved particularly useful in this respect. This text introduces the model theory of first-order logic. Avoiding syntactical issues, author proves the compactness theorem via the ..

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Edition covers the basics: relations, functions, orderings, finite, countable, and uncountable sets, and cardinal and ordinal numbers. It also provides five ad..

Logic Colloquium '01..