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