# There is more to come

In the adjacent publications use is made of the systematic as it is indicated on page **Home** . A survey on the current work on 'Opus logico-mathematicus' is shown at the right-hand table. It will give in detail the description of object-language Funcish and metalanguage Mencish, as well as the logical rules obeying correct metalingual treatment. Furthermore it will introduce three kind of **concrete calcules** relating to natural numbers and recursion:

ALPHA simple arithmetic functions

(essentially Robinson arithmetic)

NU recursive functions by programming for the FAGATOR calculator

(update of Church-publication of 2006)

LAMBDA direct introduction of recursive functions by the PINITOR calculator

(primitive recursive functions and beyond)

In separate publications there will be **abstract calcules** too, e.g. :

rho rational number arithmetic (first-order logic)

deltaalpha biradical number arithmetic (first-order logic)

delta algebraical number arithmetic (first-order logic)

eta biderivational number arithmetic (second-order logic)

zeta real number arithmetic (third-order logic)