Lambda-kalkul

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

Uloženo v:

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

Informace o knihovně

MARC


LEADER	00000nam a2200000 4500
001	np9423288
003	CZ PrNK
005	19950216000000.0
007	tu
008	940824s1993 xr f u0\|1 0 cze
015			\|a cnb000084994
020			\|a 80-210-0826-1 \|q (brož.)
035			\|a (OCoLC)39603912
040			\|a ABA001 \|b cze
080			\|a 510.8 \|2 undef
080			\|a 510.6 \|2 undef
100	1		\|a Zlatuška, Jiří, \|d 1957- \|7 jn20000402753 \|4 aut
245	1	0	\|a Lambda-kalkul / \|c Jiří Zlatuška
250			\|a 1. vyd.
260			\|a Brno : \|b Masarykova univerzita, \|c 1993 \|e (Blansko : \|f Grafex)
300			\|a 264 s. ; \|c 21 cm
500			\|a 400 výt.
500			\|a Vyd. v rámci projektu Institut vyšších informatických studií
500			\|a Pozn
500			\|a Přehl. lit
500			\|a Věcný rejstřík
653	0		\|a Lambda-kalkul \|a matematická logika \|a matematické funkce \|a matematické teorie
655		7	\|a monografie \|7 fd132842 \|2 czenas
910			\|a ABA001
964			\|a Lambda-kalkul (teorie matematická) - monografie
990			\|a BK
996			\|a 24 \|b 1002022621 \|c I 337490 \|l NÁRODNÍ KONZERVAČNÍ FOND \|r sklad \|s O \|w 000084994 \|u 000020 \|j NKC50 \|t ABA001.NKC01000084994.NKC50000084994000020
996			\|a 2 \|b 1002491040 \|c 54 H 147166 \|l SKLAD KLEMENTINUM 3 \|r sklad \|s P \|n 4 \|w 000084994 \|u 000010 \|j NKC50 \|t ABA001.NKC01000084994.NKC50000084994000010
998			\|a http://aleph.nkp.cz/F/?func=direct&doc_number=000084994&local_base=NKC