Počet záznamů: 1
Lambda-kalkul
kniha
Zlatuška, Jiří, 1957- - Autor
1. vyd. - Brno : Masarykova univerzita, 1993 - 264 s. ; 21 cm
ISBN 80-210-0826-1 (brož.)
matematická logika
příručkySignatura C 279.937 Umístění Info *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM* Údaje o názvu Lambda-kalkul / Jiří Zlatuška Záhlaví-jméno Zlatuška, Jiří, 1957- (Autor) Údaje o vydání 1. vyd. Vyd.údaje Brno : Masarykova univerzita, 1993 Fyz.popis 264 s. ; 21 cm ISBN 80-210-0826-1 (brož.) Číslo nár. bibl. cnb000084994 Poznámky Vyd. v rámci projektu Institut vyšších informatických studií. - Pozn. - Přehl. lit. - Věcný rejstřík. - 400 výt. Předmět.hesla matematická logika Forma, žánr příručky MDT 510.6 , 510.8 Země vyd. Česko Jazyk dok. čeština Druh dok. KNIHY Základy čistého i typovaného lambda-kalkulu, kombinatorické logiky a konstrukce odpovídajících matematických modelů. Zdroj anotace: Národní knihovna ČRNačítání…
Počet záznamů: 1