Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. S. Agerholm: Non-Primitive Recursive Function Definitions; in: Higher Order Logic Theorem Proving and Its Applications; LNCS 971, 1995, 17–31.
2. R. Aubin: Mechanizing Structural Induction. Part 1: Formal System; Theoretical Computer Science 9, North-Holland, 1979, 329–345.
3. E. Beth: The Foundations of Mathematics; Amsterdam, 1959.
4. R. S. Boyer, J S. Moore: A Computational Logic; Academic Press, 1979.
5. P. A. Fejer, D.A. Simovici: Mathematical Foundations of Computer Science, Volume 1: Sets, Relations, and Induction; Springer-Verlag, 1990.