Mathematical Logic
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)
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
Anmelden