DaftarIsitemplate

Call Number

005.16 Bit f

Title

Predicative functional recurrence and poly-space (Lecture Notes in Computer Science 1214), Hal. 369-380

Author

Daniel Leivant; Jean-Vves Marion;

Publisher

Springer, 1997

Subject

Location