Logic, Sets, and Recursion

Front Cover
Jones & Bartlett Learning, 2001 - Mathematics - 405 pages
0 Reviews
This book introduces logic with an orientation towards mathematics and computing theory. The goal of this text is to teach students how to construct and write informal, but rigorous, mathematical proofs using basic set theory, recursive definitions, and mathematical induction. This book provides the undergraduate students with a systematic introduction to the principles of logic and the basic ideas of set theory and mathematical induction.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

References to this book

Bibliographic information