Livros de Hans Hermes - BookPine

Einführung in die Verbandstheorie (Grundlehren der mathematischen Wissenschaften)

Einführung in die Verbandstheorie (Grundlehren der mathematischen Wissenschaften)

Hans Hermes

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

O. Plassmann

Finite Model Theory

Finite Model Theory

Heinz-Dieter Ebbinghaus

Zahlen (Springer-Lehrbuch)

Zahlen (Springer-Lehrbuch)

Heinz-Dieter Ebbinghaus

Einführung in die mathematische Logik: Klassische Prädikatenlogik (Mathematische Leitfäden)

Einführung in die mathematische Logik: Klassische Prädikatenlogik (Mathematische Leitfäden)

Hans Hermes

Su II

Su II

Heinz-Dieter Ebbinghaus

Su I

Su I

Heinz-Dieter Ebbinghaus

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung In Die Theorie Der Rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung In Die Theorie Der Rekursiven Funktionen

Hans Hermes

Introduction to mathematical logic

Introduction to mathematical logic

Hans Hermes

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher)

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher)

Hans Hermes

Selecta Mathematica II (Heidelberger Taschenbücher, 67)

Selecta Mathematica II (Heidelberger Taschenbücher, 67)

Heinz-Dieter Ebbinghaus

Term Logic with Choice Operator

Term Logic with Choice Operator

Hans Hermes

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics)

Eine Termlogik mit Auswahloperator (Lecture Notes in Mathematics)

Hans Hermes

Einfuhrung in Die Mathematische Logik

Einfuhrung in Die Mathematische Logik

Hans Hermes