Produktbild
George Tourlakis

Mathematical Logic

Ebook (PDF Format)

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning. With its user-friendly approach, this book successfully equips readers with the key concepts and methods for formulating valid mathematical arguments that can be used to uncover truths across diverse areas of study such as mathematics, computer science, and philosophy. The book develops the logical tools for writing proofs by guiding readers through both the established Hilbert style of proof writing, as well as the eq… Mehr

CHF 94.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


  • ISBN: 978-1-118-03069-1
  • EAN: 9781118030691
  • Produktnummer: 13883475
  • Verlag: Wiley
  • Sprache: Englisch
  • Erscheinungsjahr: 2011
  • Seitenangabe: 294 S.
  • Plattform: PDF
  • Masse: 11'302 KB

Über den Autor


GEORGE TOURLAKIS, PhD, is University Professor of Computer Science and Engineering at York University, Canada. Dr. Tourlakis has authored or coauthored numerous articles in his areas of research interest, which include calculational logic, modal logic, computability, complexity theory, and arithmetical forcing.

12 weitere Werke von George Tourlakis:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.