A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... Complexity

Ein kompakter Einstieg in die formale Logik: Modelltheorie, Beweistechnik und Berechenbarkeit werden anhand klarer Definitionen und praxisnaher Übungen verknüpft, sodass Studierende sofort komplexe Konzepte nachvollziehen können.

Teilen: