Previous |  Up |  Next

Article

References:
[1] S. C. Kleene: Introduction to Metamathematics. Van Nostrand, New York/Toronto 1952. MR 0051790 | Zbl 0047.00703
[2] Pavel Materna: Operative Auffassung der Methode. Rozpravy ČSAV, Řada společenských věd, ročník 75, sešit 8, Praha 1965.
Partner of
EuDML logo