Metadata
Author: WikiMatrix
Data
German[de]
Er hat über Themen der Logik erster und zweiter Ordnung, der axiomatischen Mengenlehre und über Berechenbarkeit und Komplexität gearbeitet.
English[en]
He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity.