Lambda-kalkul

To chci

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

Podrobná bibliografie

Hlavní autor:

Jiří Zlatuška, 1957-

Typ dokumentu:

Knihy

Rozsah:

264 s. ;

Vydáno:

Brno : Masarykova univerzita, 1993

Vydání:

1. vyd.

Témata:

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

monografie

Popis jednotky:

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

Fyzický popis:

264 s. ; 21 cm

ISBN:

80-210-0826-1