Foundations of Logic Completeness, Incompleteness, Computability

Foundations of Logic Completeness, Incompleteness, Computability

Bokus

A comprehensive introduction to logics central concepts. This book provides a concise but detailed account of modern logic's three cornerstones: the completeness of first-order logic, Gdel's Incompleteness Theorems, and Turing&am...

488.00 kr

Liknande produkter