Browse by ISBN
Jump to: N
Number of items: 1.
N
Nordvall Forsberg, Fredrik and Setzer, Anton; Dawar, Anuj and Veith, Helmut, eds. (2010) Inductive-inductive definitions. In: Computer Science Logic. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, CZE, pp. 454-468. ISBN 9783642152047