Previous |  Up |  Next

Article

References:
[1] Kleene S. C: An Introduction to Metamathematics. Amsterdam 1962.
[2] Kobrinskij N. E., Trachtenbrot B. A.: Vvedenije v teoriju konečnych avtomatov. Moskva 1962.
Partner of
EuDML logo