## Find a copy online

### Links to this item

0-link-springer-com.pugwash.lib.warwick.ac.uk Connect to Springer e-book

grinnell.idm.oclc.org Access Springer Electronic Book

proxy.library.carleton.ca Scholars Portal Books

proxy.library.carleton.ca SpringerLink

public.eblib.com Click here to view book

libproxy.uwyo.edu VIEW FULL TEXT.

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books |
---|---|

Additional Physical Format: | Printed edition: |

Material Type: | Document, Internet resource |

Document Type: | Internet Resource, Computer File |

All Authors / Contributors: |
Yves Nievergelt |

ISBN: | 9781493932238 1493932233 |

OCLC Number: | 932166573 |

Language Note: | English. |

Description: | 1 online resource (xii, 391 pages) : illustrations (some color) |

Contents: | Preface -- 1. Propositional Logic: Proofs from Axioms and Inference Rules -- 2. First Order Logic: Proofs with Quantifiers -- 3. Set Theory: Proofs by Detachment, Contraposition, and Contradiction -- 4. Mathematical Induction: Definitions and Proofs by Induction -- 5. Well-Formed Sets: Proofs by Transfinite Induction with Already Well-Ordered Sets -- 6. The Axiom of Choice: Proofs by Transfinite Induction -- 7. Applications: Nobel-Prize Winning Applications of Sets, Functions, and Relations -- 8. Solutions to Some Odd-Numbered Exercises -- References -- Index. |

Responsibility: | Yves Nievergelt. |

### Abstract:

## Reviews

*Editorial reviews*

Publisher Synopsis

"This book could be a valuable reference text and would be useful to one who would like to know how basic mathematical primitives can be rigorously developed within basic set theory." (Rana Barua, Mathematical Reviews, June, 2016)It is quite suitable for a first- or second-year university course where the hand of the lecturer can guide the student through the material. There are fairly comprehensive sets of problems at the end of each chapter ... . In summary, the book is a very thorough treatment of the topics ... . It is quite suitable as a textbook for an undergraduate course in the logic and mathematics that underpin a computer science course. The exercises are comprehensive." (Martin Schweitzer, Computing Reviews, computingreviews.com, May, 2016)"This introductory textbook on logic and set theory stands out in that it does not only present its mathematical content in a thorough and accessible way, but also giving historical and philosophical background ... . The book contains many exercises that should serve to further the understanding of the reader ... . The book should be accessible to readers with a basic general background in mathematics." (Merlin Carl, zbMATH 1334.03002, 2016) Read more...

*User-contributed reviews*