Jeremy Avigad

eBook, PDF

Mathematical Logic and Computation (eBook, PDF)

Beschreibung

A thorough introduction to the fundamental methods and results in mathematical logic, and its foundational role in computer science.

Technische Details

• Geräte: PC
• mit Kopierschutz
• Größe: 4.14MB
• FamilySharing(5)

Barrierefreiheit

• Text-to-Speech

Autor

Jeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and history of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University.

Produktdetails

• Verlag: Cambridge University Press
• Erscheinungstermin: 24. November 2022
• Englisch
• ISBN-13: 9781108800761
• Artikelnr.: 70910743