BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
315 users online, thereof 0 logged in

Proof: (related to "Recursively Defined Arithmetic Functions, Recursion")

q.e.d

| | | | created: 2020-07-12 10:13:27 | modified: 2020-07-12 10:14:29 | by: | references: [977]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[977] Aigner, Martin: “Diskrete Mathematik”, vieweg studium, 1993