Number of the records: 1
Lambda-kalkul
book
Zlatuška, Jiří, 1957- - Author
1. vyd. - Brno : Masarykova univerzita, 1993 - 264 s. ; 21 cm
ISBN 80-210-0826-1 (brož.)
matematická logika
příručkyCall number C 279.937 Umístění Info RETRO-CATALOGUING - SHORT RECORD Title statement Lambda-kalkul / Jiří Zlatuška Main entry-name Zlatuška, Jiří, 1957- (Author) Edition statement 1. vyd. Issue data Brno : Masarykova univerzita, 1993 Phys.des. 264 s. ; 21 cm ISBN 80-210-0826-1 (brož.) National bibl. num. cnb000084994 Note Vyd. v rámci projektu Institut vyšších informatických studií. - Pozn. - Přehl. lit. - Věcný rejstřík. - 400 výt. Subj. Headings matematická logika Form, Genre příručky UDC 510.6 , 510.8 Country Česko Language čeština Document kind BOOKS 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 ČRLoading…
Number of the records: 1