Lambda-kalkul

Get it

Základy čistého i typovaného lambda-kalkulu, kombinatorické logiky a konstrukce odpovídajících matematických modelů.

Bibliographic Details

Main Author:

Jiří Zlatuška, 1957-

Document Type:

Books

Document range:

264 s. ;

Published:

Brno : Masarykova univerzita, 1993

Edition:

1. vyd.

Subjects:

Lambda-kalkul > matematická logika > matematické funkce > matematické teorie

monografie

Item Description:

400 výt.
Vyd. v rámci projektu Institut vyšších informatických studií
Pozn
Přehl. lit
Věcný rejstřík

Physical Description:

264 s. ; 21 cm

ISBN:

80-210-0826-1