WorldCat Identities

Heidler, Klaus

Overview
Works: 2 works in 3 publications in 1 language and 29 library holdings
Roles: Author
Classifications: QA248.5, 512.81
Publication Timeline
.
Most widely held works by Klaus Heidler
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
0
Audience Level
1
  Kids General Special  
Audience level: 0.97 (from 0.69 for Recursive ... to 0.97 for Untersuchu ...)

Languages
German (2)