Friendly Introduction to Mathematical Logic

Leary, Christopher C.

ISBN 10: 0130107050 / ISBN 13: 9780130107053

Published by Prentice Hall, 2000

About this Item

23cm x 15cm. Glossy pictorial covers. 218pp.

Seller Inventory # 83100

Bibliographic Details

• Title: Friendly Introduction to Mathematical Logic
• Publisher: Prentice Hall
• Publication Date: 2000
• Language: English
• ISBN 10: 0130107050
• ISBN 13: 9780130107053
• Binding: Hardcover
• Condition: like new
• Seller catalogs:
  • Mathematics

About this title

Synopsis

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. KEY TOPICS: Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.

From the Back Cover

This user-friendly introduction to the key concepts of mathematical logic focuses on concepts that are used by mathematicians in every branch of the subject. Using an assessible, conversational style, it approaches the subject mathematically (with precise statements of theorems and correct proofs), exposing readers to the strength and power of mathematics, as well as its limitations, as they work through challenging and technical results. Structures and Languages. Deductions. Comnpleteness and Compactness. Incompleteness--Groundwork. The Incompleteness Theorems. Set Theory. : For readers in mathematics or related fields who want to learn about the key concepts and main results of mathematical logic that are central to the understanding of mathematics as a whole.