Katalog Vědecké knihovny v Olomouci, báze SVK01, záznam 000370417

Navigace: http://aleph.vkol.cz/pub / svk01 / 00037xxxx / 0003704xx / 000370417.htm

Chcete-li získat tento dokument, vstupte přímo do katalogu. Získat dokument z katalogu.
If you want to get more information about the document, enter the online catalog. Get the item from catalog.

Všeob.údaje zprac.Chang, Chin Liang
24510Matematičeskaja logika i avtomatičeskoje dokazatel'stvo teorem
260 Moskva, 1983
Osobní jm.-primár.oLi, R.
Sigla,sign.vlastn.OLA001 729.642
EXE 1