Walter De Gruyter
Mathematical Logic: An Introduction (De Gruyter Textbook)
Mathematical Logic: An Introduction (De Gruyter Textbook)
Precio habitual
$85.15
Precio habitual
$88.99
Precio de oferta
$85.15
Los gastos de envío se calculan en la pantalla de pago.
Cantidad
No se pudo cargar la disponibilidad de retiro
This textbook reviews the foundational topics that are typically covered in an introduction to proof course and studies the language of sentential logic as well as investigating the more powerful language of first-order logic and the notion of a formal deduction in first-order logic, in addition, it proves Godel's Completeness Theorem and discusses incompleteness and the computability concept.
- | Author: Daniel Cunningham
- | Publisher: Walter De Gruyter
- | Publication Date: May 08, 2023
- | Number of Pages: 305 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3110782014
- | ISBN-13: 9783110782011
Share
