Previous |  Up |  Next

Article

References:
[1] RASIOWA H., SIKORSKI R.: The mathematics of metamathematics. PWN, Warszawa 1963. MR 0163850 | Zbl 0122.24311
[2] ГЛУШКОВ В. М.: Синтез цифровых автоматов. Физматгиз, Mocквa 1962. Zbl 1005.68507
Partner of
EuDML logo