|
|
|
|
| LEADER |
01506nam a22003977a 4500 |
| 001 |
MUB01000850377 |
| 003 |
CZ BrMU |
| 005 |
20170516134908.0 |
| 008 |
130131s2012 xxk||||| |||||||||||eng d |
| STA |
|
|
|a POSLANO DO SKCR
|b 2020-08-05
|
| 020 |
|
|
|a 978-1-84890-066-0
|
| 040 |
|
|
|a BOD018
|b cze
|
| 072 |
|
7 |
|a 510
|x Obecné úvahy o matematice
|2 Konspekt
|9 13
|
| 080 |
|
|
|a 510.6
|2 MRF
|
| 100 |
1 |
|
|a Barendregt, Henk
|q (Hendrik Pieter),
|d 1947-
|7 ntk2013782542
|4 aut
|
| 245 |
1 |
4 |
|a The lambda calculus, its syntax and semantics /
|c Henk P. Barendregt
|
| 260 |
|
|
|a London :
|b College Publications,
|c c2012
|
| 300 |
|
|
|a xv, 621 s., E16
|
| 490 |
1 |
|
|a Studies in logic ;
|v v. 40
|
| 650 |
0 |
7 |
|a lambda kalkul
|2 CZ-BrMU
|
| 650 |
0 |
7 |
|a matematická logika
|7 ph122671
|2 czenas
|
| 650 |
0 |
9 |
|a mathematical logic
|2 eczenas
|
| 830 |
|
0 |
|a Studies in logic ;
|v v. 40
|
| CAT |
|
|
|a KOVAROVA
|b 02
|c 20130131
|l MUB01
|h 1029
|
| CAT |
|
|
|a KREKOVA
|b 02
|c 20130215
|l MUB01
|h 1023
|
| CAT |
|
|
|a BATCH
|b 00
|c 20130304
|l MUB01
|h 1533
|
| CAT |
|
|
|c 20150404
|l MUB01
|h 0741
|
| CAT |
|
|
|a BATCH
|b 00
|c 20151226
|l MUB01
|h 0350
|
| CAT |
|
|
|a FUKSOVAX
|b 02
|c 20170516
|l MUB01
|h 1349
|
| CAT |
|
|
|c 20200805
|l MUB01
|h 1100
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1002
|
| CAT |
|
|
|c 20210614
|l MUB01
|h 1951
|
| LOW |
|
|
|a POSLANO DO SKCR
|b 2020-08-05
|
| 994 |
- |
1 |
|l MUB01
|l MUB01
|m BOOK
|1 FI
|a Fakulta informatiky
|2 SKLAD
|b sklad
|3 R50a
|5 4200517185
|8 20130131
|f 74
|f Měsíční
|g 2013-23
|r 20130215
|
| AVA |
|
|
|a INF50
|b FI
|c sklad
|d R50a
|e available
|t K dispozici
|f 1
|g 0
|h N
|i 2
|j SKLAD
|
