WorldCat Identities

Heidler, Klaus

Works: 2 works in 3 publications in 1 language and 28 library holdings
Roles: Author
Classifications: QA9.615, 511.3
Publication Timeline
Most widely held works by Klaus Heidler
Rekursive Funktionen by Klaus Heidler( Book )
1 edition published in 1977 in German and held by 26 WorldCat member libraries worldwide
Theory of Computation -- Mathematical Logic and Formal Languages
Untersuchungen zur Reduktionstheorie des Entscheidungsproblems in der Prädikaten[logik] und Termlogik by Klaus Heidler( Book )
2 editions published in 1973 in German and held by 2 WorldCat member libraries worldwide
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.52 (from 0.00 for Untersuchu ... to 0.56 for Rekursive ...)
Associated Subjects
German (3)